"14" Result
Sort By:
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invi…
Theory and applications of satisfiability testing - SAT 2010: 13th international conference, SAT 2010, Edinburg…
by Strichman, Ofer, Szeider, Stefan, SAT, Edinburgh), International Conference on Theory and Applications of Satisfiability Testing, Edinburgh)
fromLecture Notes in Computer Science
0
Type: Book
Theory and applications of satisfiability testing - SAT 2010: 13th international conference, SAT 2010, Edinburg…
by Strichman, Ofer, Szeider, Stefan, SAT, Edinburgh), International Conference on Theory and Applications of Satisfiability Testing, Edinburgh)
fromLecture Notes in Computer Science
0
Type: Book
