TY  - RPRT
TI  - Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
AU  - H. E. Dixon
AU  - M. L. Ginsberg
AU  - A. J. Parkes
PY  - 2011
DO  - 10.1613/jair.1353
UR  - https://arxiv.org/abs/1107.0040
ID  - 1107.0040
ER  -