On an unsatisfiability-satisfiability prover

DOI10.2977/prims/1195173764zbMath0688.68084OpenAlexW1998238433MaRDI QIDQ1264000

Chiharu Hosono

Publication date: 1989

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195173764

zbMATH Keywords

automated theorem provingfinite domainHerbrand universe

Mathematics Subject Classification ID

Cites Work

• A superposition oriented theorem prover
• Theorem proving with abstraction
• Theorem proving with variable-constrained resolution
• Theorem Proving via General Matings
• Unnamed Item
• Unnamed Item

This page was built for publication: On an unsatisfiability-satisfiability prover