Propagation complete encodings of smooth DNNF theories

Open in new window