Computing finite models by reduction to function-free clause logic
Authors:
- Peter BaumgartnerPBPeter Baumgartner
- Alexander FuchsAFAlexander Fuchs
- Hans de NivelleHNHans de Nivelle
- Cesare TinelliCTCesare Tinelli
- 1 March 2009
- journal article
- Published by Elsevier in Journal of Applied Logic
- Vol. 7 (1) , 58-74
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- IMPLEMENTING THE MODEL EVOLUTION CALCULUSInternational Journal on Artificial Intelligence Tools, 2006
- Mace4 reference manual and guide.2003
- Chaff2001
- The TPTP Problem LibraryJournal of Automated Reasoning, 1998
- Computing answers with model eliminationArtificial Intelligence, 1997
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975