Number of models and satisfiability of sets of clauses
- 12 February 1996
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 155 (1), 277-288
- https://doi.org/10.1016/0304-3975(95)00144-1
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Solving satisfiability in less than 2n stepsDiscrete Applied Mathematics, 1985
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979