Propagation complete encodings of smooth DNNF theories
scientific article; zbMATH DE number 7594546
scientific article