Works
- Consistency in Networks of Relations, Artificial Intelligence 8(1), 1977
In Thinking Tools
Known for
An artificial intelligence researcher at the University of British Columbia. His 1977 paper showed that backtracking search for a constraint satisfaction problem thrashes, and proposed local consistency algorithms that remove node, arc, and path inconsistencies before a full solution is attempted.