Kilian Gebhardt, Norbert Manthey. Parallel Variable Elimination on CNF Formulas. In Ingo J. Timm, Matthias Thimm, editors, KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Volume 8077 of Lecture Notes in Computer Science, pages 61-73, Springer, 2013. [doi]
Abstract is missing.