Book

Theory and Applications of Satisfiability Testing (vol. # 3542)

by Holger H. Hoos, David G. Mitchell