M. Steinmetz and J. Hoffmann, “Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning”, ICAPS, vol. 27, no. 1, pp. 283-287, Jun. 2017.