Mouhssine Bouzoubaa The Houria Constraint Solver. 358-362 1995 SCAI db/conf/scai/scai1995.html#Bouzoubaa95