Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.11889/2102
Title: Satchmo: minimal model generation and compilation (system description)
Authors: Yahya, Adnan
Bruggemann, Thomas
Eisinger , Norbert
Panne, Sven
Torge, Sunna
Bry, Francois
Geisler, Tim
Schutz, Heribert
Issue Date: Jun-1998
Publisher: ResearchGate
Abstract: Satchmo is an automated theorem prover for rst-order predicate logic implemented in Prolog. Its reasoning paradigm, model generation, is more powerful than the traditional refutation paradigm. It enabled the development of a novel and e cient technique to compute minimal Herbrand models, which prevents the generation of non-minimal models that would later have to be ltered out in a post-processing step. It also encouraged the development of several advanced e ciency enhancing techniques that result in a highly competitive performance on standard benchmark problems
URI: http://hdl.handle.net/20.500.11889/2102
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat
satchmo.pdf224.32 kBAdobe PDFView/Open
Show full item record

Page view(s)

11
Last Week
0
Last month
3
checked on Feb 25, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.