Language and a program for stating and solving combinatorial problems (1978)

by J L Lauriere
Venue:Artificial Intelligence