Alexis de Colnet, Pierre Marquis. On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 2583-2590, ijcai.org, 2022. [doi]
@inproceedings{ColnetM22-1,
title = {On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits},
author = {Alexis de Colnet and Pierre Marquis},
year = {2022},
doi = {10.24963/ijcai.2022/358},
url = {https://doi.org/10.24963/ijcai.2022/358},
researchr = {https://researchr.org/publication/ColnetM22-1},
cites = {0},
citedby = {0},
pages = {2583-2590},
booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022},
editor = {Luc De Raedt},
publisher = {ijcai.org},
}