TY  - RPRT
TI  - Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut
AU  - Michael Codish
AU  - Yoav Fekete
AU  - Amit Metodi
PY  - 2013
UR  - https://arxiv.org/abs/1308.3937
ID  - 1308.3937
ER  -