sharpSAT – Counting Models with Advanced Component Caching and Implicit BCP
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 424-429
- https://doi.org/10.1007/11814948_38
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Heuristics for Fast Exact Model CountingLecture Notes in Computer Science, 2005
- GRASP-A new search algorithm for satisfiabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- The Good Old Davis-Putnam Procedure Helps Counting ModelsJournal of Artificial Intelligence Research, 1999
- A machine program for theorem-provingCommunications of the ACM, 1962