Export Citations
1 Results for: Keyword: blocking clause
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,856,240 records)|Limit your search to The ACM Full-Text Collection (778,683 records)
Select All
- research-articleNovember 2016
Implementing Efficient All Solutions SAT Solvers
ACM Journal of Experimental Algorithmics (JEA), Volume 21Article No.: 1.12, Pages 1–44https://doi.org/10.1145/2975585All solutions SAT (AllSAT for short) is a variant of the propositional satisfiability problem. AllSAT has been relatively unexplored compared to other variants despite its significance. We thus survey and discuss major techniques of AllSAT solvers. We ...