Effective Preprocessing in SAT through Variable and Clause Elimination

N. Eén; Armin Biere

doi:10.1007/11499107_5

Effective Preprocessing in SAT through Variable and Clause Elimination

N. Eén
, Armin Biere

Institut für Formale Modelle und Verifikation

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Verlag	Springer
Seiten	61-75
Seitenumfang	15
Band	3569
ISBN (Print)	3-540-26276-8
DOIs	https://doi.org/10.1007/11499107_5
Publikationsstatus	Veröffentlicht - 2005

Publikationsreihe

Name	Lecture Notes in Computer Science
ISSN (Print)	0302-9743

Wissenschaftszweige

102 Informatik
102001 Artificial Intelligence
102011 Formale Sprachen
102022 Softwareentwicklung
102031 Theoretische Informatik
603109 Logik
202006 Computer Hardware

Zugriff auf Dokument

10.1007/11499107_5

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@inproceedings{b964fe55d328440581dc79aa73ffbf0d,

title = "Effective Preprocessing in SAT through Variable and Clause Elimination",

author = "N. E{\'e}n and Armin Biere",

year = "2005",

doi = "10.1007/11499107\_5",

language = "English",

isbn = "3-540-26276-8",

volume = "3569",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "61--75",

booktitle = "Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings",

}

Effective Preprocessing in SAT through Variable and Clause Elimination. / Eén, N.; Biere, Armin.
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Band 3569 Springer, 2005. S. 61-75 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Effective Preprocessing in SAT through Variable and Clause Elimination

AU - Eén, N.

AU - Biere, Armin

PY - 2005

Y1 - 2005

UR - https://www.scopus.com/pages/publications/26444549375

U2 - 10.1007/11499107_5

DO - 10.1007/11499107_5

M3 - Conference proceedings

SN - 3-540-26276-8

VL - 3569

T3 - Lecture Notes in Computer Science

SP - 61

EP - 75

BT - Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

PB - Springer

ER -