Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Simplifying Clausal Satisfiability Problems

Barth, P. (1994). Simplifying Clausal Satisfiability Problems. In J.-P. Jouannaud (Ed.), Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94) (pp. 19-33). Berlin, Germany: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Barth, Peter1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Recently linear 0-1 programming methods have been successfully applied to the satisfiability problem of propositional logic. We present a preprocessing method that simplifies the linear 0-1 integer problem corresponding to a clausal satisfiability problem. Valid extended clauses, a generalization of classical clauses, are added to the problem as long as they dominate at least one extended clause of the problem. We describe how to efficiently obtain these valid extended clauses and apply the method to some combinatorial satisfiability problems. The reformulated 0-1 problems contain less but usually stronger 0-1 inequalities and are typically solved much faster than the original one with traditional 0-1 integer programming methods.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121994
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519568
Anderer: Local-ID: C1256104005ECAFC-9280222F3DC46A0AC1256144006247F6-Barth94a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Munich, Germany
Start-/Enddatum: 1994

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94)
Genre der Quelle: Konferenzband
 Urheber:
Jouannaud, Jean-Pierre, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 19 - 33 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -