Implementing Efficient All Solutions SAT Solvers.

Takahisa Toda Takehide Soh

Published in: CoRR (2015)

Keyphrases

sat solvers
constraint satisfaction
sat instances
search tree
highly efficient
sat problem
boolean satisfiability
sat solving
orders of magnitude