TY  - RPRT
TI  - Local Redundancy in SAT: Generalizations of Blocked Clauses
AU  - Benjamin Kiesl
AU  - Martina Seidl
AU  - Hans Tompits
AU  - Armin Biere
PY  - 2018
DO  - 10.23638/lmcs-14(4:3)2018
UR  - https://arxiv.org/abs/1702.05527
ID  - 1702.05527
ER  -