Some results and experiments in programming techniques for propositional logic
- 1 January 1986
- journal article
- Published by Elsevier in Computers & Operations Research
- Vol. 13 (5) , 633-645
- https://doi.org/10.1016/0305-0548(86)90056-0
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Probabilistic analysis of the pure literal heuristic for the satisfiability problemAnnals of Operations Research, 1984
- Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problemDiscrete Applied Mathematics, 1983
- Pivot and Complement–A Heuristic for 0-1 ProgrammingManagement Science, 1980
- Production rules as a representation for a knowledge-based consultation programArtificial Intelligence, 1977
- A model of inexact reasoning in medicineMathematical Biosciences, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960