An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL

Lecture Notes in Computer Science (2023) - Comments
doi: 10.1007/978-3-031-43369-6_11 issn: 0302-9743 issn: 1611-3349

Sibylle Möhle