@inproceedings{ZivanM07,
  author    = {Roie Zivan and
               Amnon Meisels},
  title     = {Conflict Directed Backjumping for Max-CSPs},
  booktitle = {IJCAI},
  year      = {2007},
  pages     = {198-204},
}