Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas Emmanuel BenoistJean-Jacques Hébrard OriginalPaper Pages: 251 - 272
Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights Hans van MaarenJoost P. Warners OriginalPaper Pages: 273 - 283
On Semidefinite Programming Relaxations of (2+p)-SAT E. de KlerkH. van Maaren OriginalPaper Pages: 285 - 305
An Overview of Backtrack Search Satisfiability Algorithms Inês LynceJoão P. Marques-Silva OriginalPaper Pages: 307 - 326