Satisfiability in the Year 2000
A SAT Solver Using Reconfigurable Hardware and Virtual Logic
Relaxations of the Satisfiability Problem Using Semidefinite Programming
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
The Propositional Formula Checker HeerHugo
SAT Local Search Algorithms
Proving Consistency Assertions for Automotive Product Data Management
Logical Cryptanalysis as a SAT Problem*
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Resolution versus Search
Implementing the Davis–Putnam Method