SAT 2005 Satisfiability Research in the Year 2005 - Giunchiglia, Enrico; Walsh, Toby.; SpringerLink (Online service) (Dordrecht : Springer, 2006)
Keywords: Computer algorithms; Computational complexity; Propositional calculus