Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Instance Generation Methods for Automated Reasoning

Jacobs, S. (2004). Instance Generation Methods for Automated Reasoning. Diploma Thesis, Universität des Saarlandes, Saarbrücken, Saarland.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-2548-4 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-0023-F15F-0
Genre: Hochschulschrift

Dateien

einblenden: Dateien
ausblenden: Dateien
:
InstanceGenerationMethods.ps.gz (beliebiger Volltext), 316KB
 
Datei-Permalink:
-
Name:
InstanceGenerationMethods.ps.gz
Beschreibung:
-
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/gzip
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Jacobs, Swen1, Autor              
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: There are several different methods which try to decide unsatisfiability of a set of clauses by generating an unsatisfiable set of instances of the input clauses. We consider the \emph{Disconnection Tableau Calculus}, \emph{Primal Partial Instantiation} and \emph{Resolution-Based Instance-Generation}, all of which can be seen as refinements of the clause linking approach. We present these three methods accurately and in a consistent manner. Similarities and equivalences of the methods will be pointed out and we will show if proofs of one calculus can be simulated by a different method, generating only instances from the given proof.

Details

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 20042004
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken, Saarland : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 231272
BibTex Citekey: Jacobs2004
Anderer: Local-ID: C1256104005ECAFC-288285D9C047581FC1256FC0004BA71E-Jacobs2004
 Art des Abschluß: Diplom

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: