TY  - RPRT
TI  - Generalizing Boolean Satisfiability II: Theory
AU  - H. E. Dixon
AU  - M. L. Ginsberg
AU  - E. M. Luks
AU  - A. J. Parkes
PY  - 2011
DO  - 10.1613/jair.1555
UR  - https://arxiv.org/abs/1109.2134
ID  - 1109.2134
ER  -