Instance Generation Methods for Automated Reasoning

Jacobs, Swen

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2548-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-F15F-0

Genre: Thesis

Files

show Files

hide Files

:

InstanceGenerationMethods.ps.gz (Any fulltext), 316KB

File Permalink:
-

Name:
InstanceGenerationMethods.ps.gz

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/gzip

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Jacobs, Swen¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

hide

Free keywords: -

Abstract: 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

show

hide

Language(s): eng - English

Dates: Accepted: 2004Date issued: 2004

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken, Saarland : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 231272
BibTex Citekey: Jacobs2004
Other: Local-ID: C1256104005ECAFC-288285D9C047581FC1256FC0004BA71E-Jacobs2004

Degree: Diploma

Event

show

Legal Case

show

Project information

show

Source

show