@misc{indiciae752bf1f0242f,
  title = {Conflict-Directed Backjumping Revisited},
  author = {X. Chen and P. van Beek},
  year = {2011},
  doi = {10.1613/jair.788},
  url = {https://arxiv.org/abs/1106.0254},
  note = {Source identifier: 1106.0254}
}