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

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Publisher	Springer
Pages	61-75
Number of pages	15
Volume	3569
ISBN (Print)	3-540-26276-8
DOIs	https://doi.org/10.1007/11499107_5
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

Access to Document

10.1007/11499107_5

Cite this

@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 (LNCS)",

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. Vol. 3569 Springer, 2005. p. 61-75 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Effective Preprocessing in SAT through Variable and Clause Elimination

AU - Eén, N.

AU - Biere, Armin

PY - 2005

Y1 - 2005

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 (LNCS)

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 -