Westphal, Matthias; Wolfl, Stefan; Li, Jason
This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonally to usual methods for solving qualitative constraint satisfaction problems. In particular, we propose a more general definition of nogoods that allows for exploiting information about nogoods and tractable subclasses during backtracking search. First evaluations of the proposed techniques show promising results.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.