TY  - RPRT
TI  - Generalizing Boolean Satisfiability III: Implementation
AU  - H. E. Dixon
AU  - M. L. Ginsberg
AU  - D. Hofer
AU  - E. M. Luks
AU  - A. J. Parkes
PY  - 2011
DO  - 10.1613/jair.1656
UR  - https://arxiv.org/abs/1109.2142
ID  - 1109.2142
ER  -