Compiling and Executing Disjunctions of Finite Domain Constraints.

Bjrn Carlson, Mats Carlsson

Browse the full ICLP paper archive.