On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexis de Colnet, Pierre Marquis. On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022. [doi]

This author has not been identified. Look up 'Alexis de Colnet' in GoogleThis author has not been identified. Look up 'Pierre Marquis' in Google

runs on WebDSL