Umut Oztok

According to our database, Umut Oztok authored at least 7 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

An Exhaustive DPLL Algorithm for Model Counting.

Umut Oztok, Adnan Darwiche

J. Artif. Intell. Res., 2018

2017

Knowledge Compilation for Solving Computationally Hard Problems.

Umut Oztok

PhD thesis, 2017

On Compiling DNNFs without Determinism.

Umut Oztok, Adnan Darwiche

CoRR, 2017

2016

Solving PP^PP-Complete Problems Using Knowledge Compilation.

Umut Oztok, Arthur Choi, Adnan Darwiche

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

A Top-Down Compiler for Sentential Decision Diagrams.

Umut Oztok, Adnan Darwiche

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

CV-width: A New Complexity Parameter for CNFs.

Umut Oztok, Adnan Darwiche

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On Compiling CNF into Decision-DNNF.

Umut Oztok, Adnan Darwiche

Proceedings of the Principles and Practice of Constraint Programming, 2014