Sibylle Möhle. An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. In: Frontiers of Combining Systems (FroCoS 2023). Lecture Notes in Computer Science, vol. 14279, pages 195–213. Springer 2023.

[ paper | slides ]