Algorithms for the Satisfiability (SAT) Problem: A Survey (1996)

by J Gu
Venue:Wah // DIMACS Series in Discrete Mathematics and Theoretical Computer Science,