scientific article; zbMATH DE number 834569

zbMATH Open0879.03005MaRDI QIDQ4860656FDOQ4860656

Jean Goubault-Larrecq

Publication date: 12 January 1998

Title of this publication is not available (Why is that?)

Recommendations

• BDDs -- design, analysis, complexity, and applications.
• Experimental and Efficient Algorithms
• Solving BDD by enumeration: an update
• BDD-based symbolic model checking
• scientific article; zbMATH DE number 1980926
• scientific article; zbMATH DE number 1487864
• Programming Combinations of Deduction and BDD-based Symbolic Calculation
• scientific article

zbMATH Keywords

first-order logicbinary decision diagramsautomated theorem-provingskolemizationfalse dependence

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• LCF-Style Propositional Simplification with BDDs and SAT Solvers
• Proving with BDDs and control of information

Uses Software

• REDUCE
• ETPS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4860656)