CONSAT a system for constraint satisfaction
Gusgen, Hans Werner1959-
London Pitman
1989
Includes bibliography
Artificial intelligence.