On Compiling CNF into Decision-DNNF. - Umut Oztok; Adnan Darwiche (CP, 2014)

CV-width: A New Complexity Parameter for CNFs. - Umut Oztok; Adnan Darwiche (ECAI, 2014)

A Top-Down Compiler for Sentential Decision Diagrams. - Umut Oztok; Adnan Darwiche (IJCAI, 2015)

Solving PPPP-Complete Problems Using Knowledge Compilation. - Umut Oztok; Arthur Choi; Adnan Darwiche (KR, 2016)

On Compiling DNNFs without Determinism. - Umut Oztok; Adnan Darwiche (CoRR, 2017)

Knowledge Compilation for Solving Computationally Hard Problems. - Umut Oztok (2017)

An Exhaustive DPLL Algorithm for Model Counting. - Umut Oztok; Adnan Darwiche (J. Artif. Intell. Res., 2018)