Theory and applications of satisfiability testing: 12th international conference ; proceedings by SAT, Swansea) fromLecture Notes in Computer Science 0 Type: Book
