Öztok, Umut

5 publications

JAIR 2018 An Exhaustive DPLL Algorithm for Model Counting Umut Oztok, Adnan Darwiche

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

AAAI 2013 A General Formal Framework for Pathfinding Problems with Multiple Agents Esra Erdem, Doga Gizem Kisa, Umut Öztok, Peter Schüller

AAAI 2011 Finding Answers and Generating Explanations for Complex Biomedical Queries Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok

AAAI 2011 Generating Explanations for Complex Biomedical Queries Umut Öztok, Esra Erdem