A probabilistic approach to optimal robust path planning with obstacles
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis