How to convert a qualitative temporal CSP into a finite domain binary CSP
Jodrey School of Computer Science, Acadia University
Wolf Ville, Nova Scotia,B4P 2R6, Canada
We show how to convert a qualitative temporal CSP problem into an equivalent binary CSP problem. The main benefit is that binary CSP solution techniques can be applied to the equivalent problem. Once a solution is found, the transformations can be applied in reverse to generate a solution to the original qualitative CSP problem.