Improving Model Counting by Leveraging Definability.

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Browse the full IJCAI paper archive.