@conferenceObjectPart{SteinmetzHoffmann_2017,
title={Critical-Path Dead-End Detection versus NoGoods : Offline Equivalence and Online Learning},
author={Steinmetz, Marcel and Hoffmann, Jörg},
editor={Barbulescu, Laura and Frank, Jeremy and Mausam and Smith, Stephen F.},
issn={2334-0835},
doi={http://dx.doi.org/10.22028/D291-29339},
pages={283-287},
publisher={AAAI Press},
year={2017}
}