Local Consistency in Weighted CSPs and Inference in Max-SAT

Federico Heras, Javier Larrosa. Local Consistency in Weighted CSPs and Inference in Max-SAT. In Peter van Beek, editor, Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings. Volume 3709 of Lecture Notes in Computer Science, pages 849, Springer, 2005. [doi]

@inproceedings{HerasL05,
  title = {Local Consistency in Weighted CSPs and Inference in Max-SAT},
  author = {Federico Heras and Javier Larrosa},
  year = {2005},
  doi = {10.1007/11564751_87},
  url = {http://dx.doi.org/10.1007/11564751_87},
  tags = {consistency},
  researchr = {https://researchr.org/publication/HerasL05},
  cites = {0},
  citedby = {0},
  pages = {849},
  booktitle = {Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings},
  editor = {Peter van Beek},
  volume = {3709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29238-1},
}