BDDs and automated deduction
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 541-550
- https://doi.org/10.1007/3-540-58495-1_54
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Automated Deduction with Shannon GraphsJournal of Logic and Computation, 1995
- Proving with BDDs and control of informationPublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information, 1992
- Efficient implementation of a BDD packagePublished by Association for Computing Machinery (ACM) ,1990
- Temporal and Modal LogicPublished by Elsevier ,1990
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Linear resolution with selection functionArtificial Intelligence, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965