Relaxations and Explanations for Quantified Constraint Satisfaction Problems

Alex Ferguson, Barry O Sullivan. Relaxations and Explanations for Quantified Constraint Satisfaction Problems. In Frédéric Benhamou, editor, Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings. Volume 4204 of Lecture Notes in Computer Science, pages 690-694, Springer, 2006. [doi]

@inproceedings{FergusonO06,
  title = {Relaxations and Explanations for Quantified Constraint Satisfaction Problems},
  author = {Alex Ferguson and Barry O Sullivan},
  year = {2006},
  doi = {10.1007/11889205_52},
  url = {http://dx.doi.org/10.1007/11889205_52},
  tags = {constraints},
  researchr = {https://researchr.org/publication/FergusonO06},
  cites = {0},
  citedby = {0},
  pages = {690-694},
  booktitle = {Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings},
  editor = {Frédéric Benhamou},
  volume = {4204},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46267-8},
}