SOLVER (1993)

by J-F Puget, P Albert
Venue:Constraints + Objects -> Descriptions" , IJCAI'93 Workshop on constraint reasoning