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]
Abstract is missing.