Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Jacobs, Swen
Waldmann, Uwe

dblp
dblp



BibTeX cite key*:

JacobsWaldmann2006

Title

Title*:

Comparing Instance Generation Methods for Automated Reasoning

Journal

Journal Title*:

Journal of Automated Reasoning

Journal's URL:

http://www.springerlink.com/content/1573-0670/

Download URL
for the article:

http://www.springerlink.com/content/c5380ju434580872/fulltext.pdf

Language:

English

Publisher

Publisher's
Name:

Springer

Publisher's URL:

http://www.springerlink.com/

Publisher's
Address:

Netherlands

ISSN:

0168-7433

Vol, No, Year, pp.

Volume:

38

Number:


Month:

December

Year*:

2006

Pages:

57-78

Number of VG Pages:

44

Sequence Number:


DOI:


Abstract, Links, (C)

Note:

"Online First" version of 2007 journal article

(LaTeX) Abstract:

The clause-linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of these clauses that can be shown to be propositionally unsatisfiable. In recent years, this approach has been refined in several directions, leading to both tableau-based methods, such as the disconnection tableau calculus, and saturation-based methods, such as primal partial instantiation and resolution-based instance generation. We investigate the relationship between these calculi and answer the question to what extent refutation or consistency proofs in one calculus can be simulated in another one.

URL for the Abstract:


Categories / Keywords:

Theorem Proving, Disconnection Calculus, Resolution-based Instance Generation, Primal Partial Instantiation

HyperLinks / References / URLs:


Copyright Message:

Copyright 2006 Springer Netherlands

Personal Comments:


Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@MISC{JacobsWaldmann2006,
AUTHOR = {Jacobs, Swen and Waldmann, Uwe},
TITLE = {Comparing Instance Generation Methods for Automated Reasoning},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Springer},
YEAR = {2006},
VOLUME = {38},
PAGES = {57--78},
ADDRESS = {Netherlands},
MONTH = {December},
ISBN = {0168-7433},
NOTE = {"Online First" version of 2007 journal article},
}


Entry last modified by Swen Jacobs, 04/13/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Swen Jacobs
Created
03/08/2007 06:41:24 PM
Revisions
3.
2.
1.
0.
Editor(s)
Swen Jacobs
Swen Jacobs
Uwe Brahm
Swen Jacobs
Edit Dates
13.04.2007 10:44:19
13.04.2007 10:40:16
08.03.2007 18:41:40
06.03.2007 12:38:49