Umut Oztok

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Boolean Functions

Knowledge Compilation

Decision Problems

Top Venues

J. Artif. Intell. Res.

University of California, Los Angeles, USA (PHD)

Education History

University of California, Los Angeles, USA

PHD

Publications

Umut Oztok, Adnan Darwiche
An Exhaustive DPLL Algorithm for Model Counting. J. Artif. Intell. Res. 62 (2018)
Umut Oztok, Adnan Darwiche
On Compiling DNNFs without Determinism. CoRR (2017)
Umut Oztok, Arthur Choi, Adnan Darwiche
-Complete Problems Using Knowledge Compilation. KR (2016)
Umut Oztok, Adnan Darwiche
A Top-Down Compiler for Sentential Decision Diagrams. IJCAI (2015)
Umut Oztok, Adnan Darwiche
CV-width: A New Complexity Parameter for CNFs. ECAI (2014)
Umut Oztok, Adnan Darwiche
On Compiling CNF into Decision-DNNF. CP (2014)