Reformulating Constraint Satisfaction Problems to Improve Scalability

Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock. Reformulating Constraint Satisfaction Problems to Improve Scalability. In Ian Miguel, Wheeler Ruml, editors, Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings. Volume 4612 of Lecture Notes in Computer Science, pages 64-79, Springer, 2007. [doi]

@inproceedings{BayerMCK07:0,
  title = {Reformulating Constraint Satisfaction Problems to Improve Scalability},
  author = {Kenneth M. Bayer and Martin Michalowski and Berthe Y. Choueiry and Craig A. Knoblock},
  year = {2007},
  doi = {10.1007/978-3-540-73580-9_8},
  url = {http://dx.doi.org/10.1007/978-3-540-73580-9_8},
  tags = {constraints},
  researchr = {https://researchr.org/publication/BayerMCK07%3A0},
  cites = {0},
  citedby = {0},
  pages = {64-79},
  booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
  editor = {Ian Miguel and Wheeler Ruml},
  volume = {4612},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73579-3},
}