Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke. Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. In Steffen Hölldobler, Andrey Malikov, Christoph Wernhard, editors, Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. Volume 1145 of CEUR Workshop Proceedings, pages 25-34, CEUR-WS.org, 2014. [doi]
Abstract is missing.