Theory and applications of satisfiability testing - SAT 2010: 13th International Conference, SAT 2010, Edinburg…
by Strichman, Ofer, Szeider, Stefan, International Conference on Theory and Applications of Satisfiability Testing, SAT, Edinburgh, Great Britain)
fromLecture Notes in Computer Science
Annotation