Petr Kucera, Petr Savický. Propagation complete encodings of smooth DNNF theories. Constraints, 27(3):327-359, 2022. [doi]
@article{KuceraS22,
title = {Propagation complete encodings of smooth DNNF theories},
author = {Petr Kucera and Petr Savický},
year = {2022},
doi = {10.1007/s10601-022-09331-2},
url = {https://doi.org/10.1007/s10601-022-09331-2},
researchr = {https://researchr.org/publication/KuceraS22},
cites = {0},
citedby = {0},
journal = {Constraints},
volume = {27},
number = {3},
pages = {327-359},
}