CV-width: A New Complexity Parameter for CNFs.

Umut Oztok, Adnan Darwiche

Browse the full ECAI paper archive.