Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.11889/2102
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yahya, Adnan | - |
dc.contributor.author | Bruggemann, Thomas | en_US |
dc.contributor.author | Eisinger , Norbert | en_US |
dc.contributor.author | Panne, Sven | en_US |
dc.contributor.author | Torge, Sunna | en_US |
dc.contributor.author | Bry, Francois | en_US |
dc.contributor.author | Geisler, Tim | en_US |
dc.contributor.author | Schutz, Heribert | en_US |
dc.date.accessioned | 2016-10-08T06:45:13Z | - |
dc.date.available | 2016-10-08T06:45:13Z | - |
dc.date.issued | 1998-6 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.11889/2102 | - |
dc.description.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 | - |
dc.language.iso | en | en_US |
dc.publisher | ResearchGate | en_US |
dc.subject.lcsh | Electronic data processing | - |
dc.subject.lcsh | Minimal model generation | - |
dc.subject.lcsh | Incrementality | - |
dc.subject.lcsh | Compilation | - |
dc.subject.lcsh | Minimal model generation and compilation | - |
dc.title | Satchmo: minimal model generation and compilation (system description) | en_US |
dc.type | Article | en_US |
newfileds.department | Engineering and Technology | en_US |
newfileds.item-access-type | open_access | en_US |
item.grantfulltext | open | - |
item.fulltext | With Fulltext | - |
item.languageiso639-1 | other | - |
Appears in Collections: | Fulltext Publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
satchmo.pdf | 224.32 kB | Adobe PDF | View/Open |
Page view(s)
146
Last Week
0
0
Last month
3
3
checked on Apr 14, 2024
Download(s)
38
checked on Apr 14, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.