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

Andre.Trudel@AcadiaU.ca

 

 

ABSTRACT:

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