Constraint Reasoning in FocalTest.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Browse the full ICSoft paper archive.