EPSON001 - univ-angers.fr · An Interval Calculus Based Finite Domain Constraint Solver and Its...
6
EPSON001 - univ-angers.fr · An Interval Calculus Based Finite Domain Constraint Solver and Its Implementation In Prolog Jin-Kao HAO and Jean-Jacques CHABRIER Centre de Recherche