Propagation complete encodings of smooth DNNF theories

Petr Kucera, Petr Savick√Ĺ. Propagation complete encodings of smooth DNNF theories. Constraints, 27(3):327-359, 2022. [doi]

Abstract

Abstract is missing.