https://hal-univ-artois.archives-ouvertes.fr/hal-03300779 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 11:56:56 AM Last modification on : Thursday, June 16, 2022 - 12:47:42 PM
Jean-Marie Lagniez, Pierre Marquis. An Improved Decision-DNNF Compiler. 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 2017, Melbourne, Australia. pp.667-673. ⟨hal-03300779⟩