Solution Enumeration for Projected Boolean Search Problems
- 1 January 2009
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Detecting Inconsistencies in Large Biological Networks with Answer Set ProgrammingPublished by Springer Science and Business Media LLC ,2008
- A Lightweight Component Caching Scheme for Satisfiability SolversPublished by Springer Science and Business Media LLC ,2007
- Conflict-Driven Answer Set EnumerationPublished by Springer Science and Business Media LLC ,2007
- Knowledge Representation, Reasoning and Declarative Problem SolvingPublished by Cambridge University Press (CUP) ,2003
- GRASP: a search algorithm for propositional satisfiabilityIEEE Transactions on Computers, 1999
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960