Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Biere, A.: PicoSAT essentials. Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 4 (2008)
2. Lecture Notes in Computer Science;A. Biere,2008
3. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. IOS Press, Amsterdam (2009)
4. Prasad, M., Biere, A., Gupta, A.: A survey on recent advances in SAT-based formal verification. Software Tools for Technology Transfer (STTT) 7(2) (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT-Aided Combinatorial Materials Discovery;Theory and Applications of Satisfiability Testing – SAT 2012;2012