Theory

This section outlines the algorithms used to generate the problems the various solving algorithms were tested against

Conclusions regarding the testing of selected algorithms against the Sherlock and Zebra problems, when handled as a binary constraint satisfaction problem.

Bibliography and appendices for a project on testing selected algorithms against the Zebra and Sherlock problems