@article{OztokDarwicheJAIR18,
    author = {Umut Oztok and Adnan Darwiche},
    title = "An Exhaustive {DPLL} Algorithm for Model Counting",
    journal = {Journal of Artificial Intelligence Research (JAIR)},
    pages = "1--32",
    volume = "62",
    year = "2018"
}