@inproceedings{OztokD14a, author = {Umut Oztok and Adnan Darwiche}, title = {CV-width: A New Complexity Parameter for CNFs}, booktitle = {Proceedings of the 21st European Conference on Artificial Intelligence (ECAI)}, pages = {675--680}, year = {2014}, }