Items where Author is "Çakmak, Duygu"

Article

Çakmak, Duygu and Erdem, Esra and Erdoğan, Halit (2011) Computing weighted solutions in ASP: representation-based method vs. search-based method. Annals of Mathematics and Artificial Intelligence (SI), 62 (3-4). pp. 219-258. ISSN 1012-2443 (Print) 1573-7470 (Online)

Papers in Conference Proceedings

Çakmak, Duygu and Erdoğan, Halit and Erdem, Esra (2010) Computing weighted solutions in ASP: representation-based method vs. search-based method. In: 17th International RCRA workshop (RCRA 2010): Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Bologna, Italy

Çakmak, Duygu and Erdem, Esra and Erdoğan, Halit (2009) Computing weighted solutions in answer set programming. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany

Thesis

Çakmak, Duygu (2010) Reconstructing weighted phylogenetic trees and phylogenetic networks using answer set programming. [Thesis]