Implementing Efficient All Solutions SAT Solvers

Understand

All solutions SAT (AllSAT for short) is a variant of propositional satisfiability problem.

• Despite its significance, AllSAT has been relatively unexplored compared to other variants.
• We thus survey and discuss major techniques of AllSAT solvers.
• We faithfully implement them and conduct comprehensive experiments using a large number of instances and various types of solvers including one of the few public softwares.