@conferenceObjectPart{SteinmetzHoffmann_2018,
title={LP Heuristics over Conjunctions : Compilation, Convergence, Nogood Learning},
author={Steinmetz, Marcel and Hoffmann, Jörg},
editor={Lang, Jérôme},
isbn={978-0-9992411-2-7},
doi={http://dx.doi.org/10.22028/D291-29342},
adress={Menlo Park, County of San Mateo, California},
pages={4837-4843},
publisher={International Joint Conferences on Artificial Intelligence},
year={2018}
}