A Lazy Divide and Conquer Approach to Constraint Solving

Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo. A Lazy Divide and Conquer Approach to Constraint Solving. In 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA. pages 91, IEEE Computer Society, 2002. [doi]

@inproceedings{AnandCK02,
  title = {A Lazy Divide and Conquer Approach to Constraint Solving},
  author = {Saswat Anand and Wei-Ngan Chin and Siau-Cheng Khoo},
  year = {2002},
  url = {http://csdl.computer.org/comp/proceedings/ictai/2002/1849/00/18490091abs.htm},
  tags = {laziness, constraints, systematic-approach},
  researchr = {https://researchr.org/publication/AnandCK02},
  cites = {0},
  citedby = {0},
  pages = {91},
  booktitle = {14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1849-4},
}