On the Complexity of the Davis and Putnam's Procedure on Some Polynomial Sub-Classes of SAT (1994)

by A Rauzy
Venue:LaBRI, URA CNRS 1304, Universit'e BordeauxI, 9