Local Redundancy in SAT: Generalizations of Blocked Clauses

Benjamin Kiesl; Martina Seidl; H. Tompits; Armin Biere

doi:10.23638/LMCS-14(4:3)2018

Local Redundancy in SAT: Generalizations of Blocked Clauses

Benjamin Kiesl
, Martina Seidl
, H. Tompits
, Armin Biere

Institute of Formal Models and Verification

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-23
Number of pages	23
Journal	Logical Methods in Computer Science
Volume	14
Issue number	4
DOIs	https://doi.org/10.23638/LMCS-14(4:3)2018
Publication status	Published - 2018

Fields of science

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

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.23638/LMCS-14(4:3)2018

Cite this

@article{52e8164e9e7c47b8ab968fce6aec5de3,

title = "Local Redundancy in SAT: Generalizations of Blocked Clauses",

author = "Benjamin Kiesl and Martina Seidl and H. Tompits and Armin Biere",

year = "2018",

doi = "10.23638/LMCS-14(4:3)2018",

language = "English",

volume = "14",

pages = "1--23",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

number = "4",

}

TY - JOUR

T1 - Local Redundancy in SAT: Generalizations of Blocked Clauses

AU - Kiesl, Benjamin

AU - Seidl, Martina

AU - Tompits, H.

AU - Biere, Armin

PY - 2018

Y1 - 2018

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

U2 - 10.23638/LMCS-14(4:3)2018

DO - 10.23638/LMCS-14(4:3)2018

M3 - Article

SN - 1860-5974

VL - 14

SP - 1

EP - 23

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 4

ER -

Local Redundancy in SAT: Generalizations of Blocked Clauses

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this