TY  - RPRT
TI  - Boolean Equi-propagation for Optimized SAT Encoding
AU  - Amit Metodi
AU  - Michael Codish
AU  - Vitaly Lagoon
AU  - Peter J. Stuckey
PY  - 2011
UR  - https://arxiv.org/abs/1104.4617
ID  - 1104.4617
ER  -