Local Redundancy in SAT: Generalizations of Blocked Clauses

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

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

Original language	English
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

@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",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

number = "4",

}