Author:
Jin HoonSang,Somenzi Fabio
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Mince: A static global variable-ordering for SAT and BDD. In: Presented at IWLS 2001 (June 2001)
2. Aloul, F.A., Markov, I.L., Sakallah, K.A.: FORCE: A fast and easy-to-implement variable-ordering heuristic. In: Proceedings of the Great Lakes Symposium on VLSI, Washington, DC, April 2003, pp. 116–119 (2003)
3. Lecture Notes in Computer Science;C.W. Barrett,2002
4. Lecture Notes in Computer Science;A. Biere,1999
5. Lecture Notes in Computer Science;R.K. Brayton,1996
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SAT solver management strategies in IC3: an experimental approach;Formal Methods in System Design;2017-02-25
2. Back to Basics: Solving Games with SAT;Advances in Electrical and Computer Engineering;2016
3. A More Efficient BDD-Based QBF Solver;Principles and Practice of Constraint Programming – CP 2011;2011
4. Existential Quantification as Incremental SAT;Computer Aided Verification;2011
5. Automatic Test Pattern Generation;Formal Methods for Hardware Verification;2006