Title: High-level specification and efficient solving of constraint satisfaction problems
First published: 1995
Subjects: Constraint programming (Computer science)
LC classification: QA76.612 .H553 1995