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

Möhle, Sibylle

doi:10.1007/978-3-031-43369-6_11

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

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

MPS-Authors

/persons/resource/persons296306

Möhle, Sibylle
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

978-3-031-43369-6_11.pdf
(Publisher version), 2MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Möhle, S. (2023). An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. In U. Sattler, & M. Suda (Eds.), Frontiers of Combining Systems (pp. 195-213). Berlin: Springer.

Cite as: https://hdl.handle.net/21.11116/0000-000E-75E4-D

Abstract

There is no abstract available