Author:
Goldberg Eugene,Manolios Panagiotis
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. Abdulla P, Bjesse P, Eén N (2000) symbolic reachability analysis based on sAT-solvers. In: Proceedings of the 6th international conference on tools and algorithms for construction and analysis of systems, TACAs’00, pp 411–425
2. Ayari A, Basin D (2002) Qubos: deciding quantified boolean logic using propositional satisfiability solvers. In: Proceedings of 4th international conference on formal methods in computer-aided design, vol 2517 of LNCS, FMCAD’02, pp 187–201
3. Biere A (2004) Resolve and expand. In: Procedings of the seventh international conference on theory and applications of satisfiability testing, SAT’04, pp 59–70
4. Biere A (2008) Picosat essentials. J Satisf Boolean Model Comput 4(2–4):75–97
5. Bradley AR (2011) Sat-based model checking without unrolling. In: Proceedings of the 12th international conference on verification, model checking, and abstract interpretation, VMCAI’11, pp 70–87
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献