• Grantová agentura UK

Výsledky projektu Návrh efektivních algoritmů pro řešení splnitelnosti Booleovských formulí a přibuzných problémů pro paralelní architektúry

Výsledky

Typ výsledku Autor celku Název celku (Celkem 12 zázn.)
Martin Babka, Tomáš Balyo, Ondřej Čepek, Štefan Gurský, Petr Kučera, Václav Vlček. Complexity issues related to propagation completeness. Artificial Intelligence, 2013, sv. 203, s. 19–34. ISSN 0004-3702. IF 2.194. [Článek v časopise]
Martin Babka, Tomáš Balyo, Jaroslav Keznikl. Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. Studies in Computational Intelligence, 2014, sv. 496, s. 231–246. ISSN 1860-949X. [Článek v časopise]
Tomáš Balyo, Lukáš Chrpa. Eliminating All Redundant Actions from Plans Using SAT and MaxSAT. In Roman Barták, Simone Fratini, Lee McCluskey and Tiago Vaquero. Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. : ICAPS, 2014. s. 16–22. [Článek ve sborníku]
Tomáš Balyo, Lukáš Chrpa, Asma Kilani. On Different Strategies for Eliminating Redundant Actions from Plans. In Stefan Edelkamp, Roman Barták. Proceedings of The Seventh International Symposium on Combinatorial Search (SoCS 2014). : AAAI Press, 2014. s. 10–18. ISBN 978-1-57735-676-9. [Článek ve sborníku]
Tomáš Balyo, Andreas Froehlich, Marijn Heule and Armin Biere. Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask). In Carsten Sinz and Uwe Egly. Theory and Applications of Satisfiability Testing – SAT 2014. : Springer, 2014. s. 317–332. ISBN 978-3-319-09283-6. [Článek ve sborníku]
Balyo, Tomáš, Roman Barták, Otakar Trunda. Reinforced Encoding for Planning as SAT. In Vojtěch Petráček. Acta Polytechnica CTU Proceedings. : Czech Technical University in Prague , 2015. s. 1–6. [Článek ve sborníku]
Tomáš Balyo. Relaxing the Relaxed Exist-Step Parallel Planning Semantics. In Juan E. Guerrero. Proceedings of the 25th International Conference on Tools with Artificial Intelligence ICTAI 2013. : IEEE Computer Society Conference Publishing Services (CPS), 2013. s. 865–871. ISBN 978-1-4799-2971-9. [Článek ve sborníku]
Tomáš Balyo, Roman Barták, Pavel Surynek. Shortening Plans by Local Re-Planning. In Juan E. Guerrero. Proceedings of 24th IEEE International Conference on Tools with Artificial Intelligence. : IEEE Conference Publishing Services, 2012. s. 1022–1028. ISBN 978-0-7695-4915-6. [Článek ve sborníku]
Tomáš Balyo, Roman Barták, Pavel Surynek. On Improving Plan Quality via Local Enhancements. In Daniel Borrajo, Ariel Felner, Richard Korf, Maxim Likhachev, Carlos Linares Lopez, Wheeler Ruml, Nathan Sturtevant. Proceedings of the Fifth Annual Symposium on Combinatorial Search. : The AAAI Press, 2012. s. 154–156. ISBN 978-1-57735-584-7. [Článek ve sborníku]
Tomáš Balyo, Modelling and Solving Problems Using SAT Techniques, doktorská disertačná práca, MFF, UK, Praha, 2014 [Jiný výsledek]
Martin Babka, Tomáš Balyo, Jaroslav Keznikl, Finding Minimum Satisfying Assignments of Boolean Formulas, Abstract a Poster na konferencii FLAIRS 2013, FL, USA [Jiný výsledek]
Martin Babka, Tomáš Balyo, Jaroslav Keznikl, Finding Minimum Satisfying Assignments of Boolean Formulas, The 26th International FLAIRS Conference, 2013, (in review) [Jiný výsledek]