Return to Article Details Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning Download Download PDF