(1)
Steinmetz, M.; Hoffmann, J. Critical-Path Dead-End Detection Versus NoGoods: Offline Equivalence and Online Learning. ICAPS 2017, 27, 283-287.