Testing methods of solving binary constraint satisfaction problems (bcsp)
The bcsp is an important area of research [Kumar92].
Various definitions for selected algorithms against the Zebra and Sherlock problems
Algorithms used in the paper and a brief discussion.
Algorithms used to generate problems for testing solvers
Conclusions regarding selected algorithms against the Sherlock and Zebra problems.
Bibliography and appendices