Sciweavers

CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
14 years 13 days ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo