QDOOCS A C++ Class Library for Solving Binary Constraint Satisfaction Problems by University of Regina. Dept. of Computer Science | Menrva Books | MenrvaBooks