Proving with BDDs and control of information

DOI10.1007/3-540-58156-1_36zbMath1433.68548OpenAlexW1561279903MaRDI QIDQ5210793

Jean Goubault-Larrecq

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_36

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• SATCHMO

Cites Work

• Seventy-five problems for testing automatic theorem provers
• Linear resolution with selection function
• Graph-Based Algorithms for Boolean Function Manipulation
• Theorem Proving via General Matings
• An Efficient Unification Algorithm
• A Proof Procedure Using Connection Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item