DivKC: A Divide-and-Conquer Approach to Knowledge Compilation.

Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin

Browse the full FASE paper archive.