Dr. Harvey, Brian (USA)

Reasoning with Computers

Logic puzzles are explored as an example of computer programs that reason. Two approaches are contrasted: rule-based logical inference and brute-force backtracking. Each approach works well for certain puzzles but can be unacceptably slow for others.

Back