Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Open Access
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 125-139
- https://doi.org/10.1007/11814771_11
Abstract
No abstract availableKeywords
All Related Versions
This publication has 12 references indexed in Scilit:
- Mace4 reference manual and guide.Published by Office of Scientific and Technical Information (OSTI) ,2003
- Computational Space Efficiency and Minimal Model Generation for Guarded FormulaePublished by Springer Nature ,2001
- An Overview of Tableau Algorithms for Description LogicsStudia Logica, 2001
- Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model GenerationJournal of Automated Reasoning, 2000
- A Deduction Method Complete for Refutation and Finite SatisfiabilityPublished by Springer Nature ,1998
- Computing answers with model eliminationArtificial Intelligence, 1997
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem provingPublished by Springer Nature ,1997
- Satchmo - The Compiling and Functional VariantsJournal of Automated Reasoning, 1997
- Model building by resolutionPublished by Springer Nature ,1993
- SATCHMO: A theorem prover implemented in PrologPublished by Springer Nature ,1987