TY  - RPRT
TI  - Conflict-Directed Backjumping Revisited
AU  - X. Chen
AU  - P. van Beek
PY  - 2011
DO  - 10.1613/jair.788
UR  - https://arxiv.org/abs/1106.0254
ID  - 1106.0254
ER  -