GIB: Imperfect Information in a Computationally Challenging Game
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis