How to convert a qualitative temporal CSP into a finite domain binary CSP


André Trudel

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.


Return to Publications