Author:
Becker Bernd,Scholl Christoph,Wimmer Ralf
Publisher
Springer International Publishing
Reference31 articles.
1. A. Biere, Resolve and expand, in International Conference on Theory and Applications of Satisfiability Testing (SAT), Vancouver, BC, Canada (2004)
2. A. Biere, M. Heule, H. van Maaren, T. Walsh (ed.), in Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185 (IOS Press, 2008)
3. R. Bloem, U. Egly, P. Klampfl, R. Könighofer, F. Lonsing, SAT-based methods for circuit synthesis, in International Conference on Formal Methods in Computer Aided Design (FMCAD), Lausanne, Switzerland (IEEE, 2014), pp. 31–34
4. R. Bloem, R. Könighofer, M. Seidl, SAT-based synthesis methods for safety specs, in International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), ed. By K.L. McMillan, X. Rival. LNCS, vol. 8318 (Springer, San Diego, CA, USA, 2014), pp. 1–20
5. A.R. Bradley, SAT-based model checking without unrolling, in International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). LNCS, vol. 6538 (Springer, 2011), pp. 70–87