@inproceedings{OztokCD16,
author = {Umut Oztok and Arthur Choi and Adnan Darwiche},
title = {Solving {PP}^{PP}-Complete Problems Using Knowledge Compilation},
booktitle = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
year = {2016},
pages = {94--103},
}