Login / Signup

Compiling CSPs into Tree-Driven Automata for Interactive Solving.

Hélène FargierMarie-Catherine Vilarem
Published in: Constraints An Int. J. (2004)
Keyphrases