-
Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
-
Formal methods and software engineering – proceedings
Dong, Jin Song ; Zhu, Huibiao 2010 Springer
-
Theory and Applications of Satisfiability Testing – SAT 2010 – 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Strichman, Ofer 2010 Springer Berlin Heidelberg
-
Theory and applications of satisfiability testing – 13th international conference ; proceedings
Strichman, Ofer 2010 Springer
-
Theory and applications of satisfiability testing – 12th international conference ; proceedings
Kullmann, Oliver 2009 Springer
-
Theory and applications of satisfiability testing – 11th international conference ; proceedings
Kleine Büning, Hans 2008 Springer
-
Theory and applications of satisfiability testing – 10th international conference ; proceedings
Marques-Silva, João 2007 Springer
-
Theory and applications of satisfiability testing – 9th international conference ; proceedings
Biere, Armin 2006 Springer