"9" Result
Sort By:
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
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
0
Type: Book
Annotation