Compilation and Fast Model Counting beyond CNF.

Alexis de Colnet, Stefan Szeider, Tianwei Zhang

Browse the full IJCAI paper archive.