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