Efficient model generation through compilation.
From MaRDI portal
Publication:1854374
DOI10.1006/inco.1999.2863zbMath1045.68605MaRDI QIDQ1854374
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1999.2863
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- SATCHMORE: SATCHMO with RElevancy
- Using resolution for deciding solvable classes and building finite models
- Minimal model generation with positive unit hyper-resolution tableaux
- The design of the CADE-13 ATP system competition
- Hyperresolution and automated model building
- The TPTP problem library
- LeanT A P: Lean tableau-based theorem proving
- Hyper tableaux