Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models.

Jean-Marie Lagniez, Emmanuel Lonca

Browse the full KR paper archive.