Skip to content

A Recursive Algorithm for Projected Model Counting.

Jean-Marie Lagniez, Pierre Marquis

VenueA*AAAI
Year2019
ProceedingsAAAI

Browse the full AAAI paper archive.