Skip to main content
Skip to menu

Charles University Grant Agency

HelpDesk

text size

Výsledky projektu Třídy booleovských formulí s efektivně řešitelným SATem

Výsledky

Typ výsledku Autor celku Název celku (Celkem 11 zázn.)
Balyo, Tomáš; Gursk, Štefan; Kučera, Petr; Vlček, Václav. On Hierarchies over the Class of SLUR Formulae. In Edited by Roman Barták. Proceedings of the 14th Czech-Japan Seminar on Data Analyses and Decision Making under Uncertainty. Prague: Matfyzpress, 2011. s. 1–8. ISBN 978-80-7378-179-8. [] Článek ve sborníku 14. česko-japonského semináře v Hejnici obsahující výsledky dosažené díky spoluprací řešitelského kolektivu s RNDr. Petrem Kučerou. Jeho upravená verze byla přijata na konferenci ISAIM 2012 a bude příští rok zveřejněna v konferenčním sborníku.
Balyo, Tomáš. Decomposing Boolean formulas into connected components. In (eds. Jana Šafránková and Jiří Pavlů). WDS'11 Proceedings of Contributed Papers: Part I: Mathematics and Computer Sciences. Prague: Matfyzpress, 2011. s. 95–100. ISBN 978-80-7378-184-2. [] Článek Tomáše Balya ve sborníku doktorandského týdne matematicko-fyzikální fakulty UK (WDS 2011). Podrobnosti o publikaci na http://www.mff.cuni.cz/veda/konference/wds/proc/proc-contents.php?year=2011 a http://www.mff.cuni.cz/veda/konference/wds/proc/pdf11/ .
Gurský, Štefan. Minimization of Matched Formulas. In (eds. Jana Šafránková and Jiří Pavlů). WDS'11 Proceedings of Contributed Papers: Part I: Mathematics and Computer Sciences. Prague: Matfyzpress, 2011. s. 101–105. ISBN 978-80-7378-184-2. [] Článek Štefana Gurského ve sborníku doktorandského týdne matematicko-fyzikální fakulty UK (WDS 2011). Podrobnosti o publikaci na http://www.mff.cuni.cz/veda/konference/wds/proc/proc-contents.php?year=2011 a http://www.mff.cuni.cz/veda/konference/wds/proc/pdf11/ .
Balyo, Tomáš; Toropila, Daniel; Barták, Roman. Two Semantics for Step-Parallel Planning: Which One to Choose?. In Edited by Roman Barták. Proceedings of the 14th Czech-Japan Seminar on Data Analyses and Decision Making under Uncertainty. Prague: Matfyzpress, 2011. s. 9–16. ISBN 978-80-7378-179-8. [] Článek ve sborníku 14. česko-japonského semináře v Hejnici. Spoluautorem článku je Tomáš Balyo.
Babka, Martin; Balyo, Tomáš; Čepek, Ondřej; Gurský, Štefan; Kučera, Petr; Vlček, Václav. Complexity issues related to propagation completeness. Artificial Intelligence, 2013, sv. Volume 203, October 2013, s. 19–34. ISSN 0004-3702. IF 2.194. [] Článek shrnující výsledky o třídě Propagation Complete formulí.
Babka, Martin; Balyo, Tomáš; Keznikl, Jaroslav. Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. In Roger Lee. Software Engineering Research, Management and Applications. : Springer International Publishing, 2014. s. 231–246. ISBN 978-3-319-00947-6. []
Balyo, Tomáš; Barták, Roman; Surynek, Pavel. Shortening Plans by Local Re-Planning. In . Proceedings of 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012). : IEEE Conference Publishing Services, 2012. s. 1022–1028. ISBN 978-0-7695-4915-6. []
Balyo, Tomáš; Barták, Roman; Surynek Pavel. On Improving Plan Quality via Local Enhancements. In Borrajo, Daniel; Felner, Ariel; Korf, Richard; Likhachev, Maxim; Lopez, Carlos Linares; Ruml, Wheeler; Sturtevant, Nathan. Proceedings of the Fifth Annual Symposium on Combinatorial Search. : The AAAI Press, Menlo Park, California, 2012. s. 154–156. ISBN 978-1-57735-584-7. []
Čepek, Ondřej; Kučera, Petr; Vlček, Václav. Properties of SLUR Formulae. In Bieliková, Mária; Friedrich, Gerhard; Gottlob, Georg; Katzenbeisser, Stefan; Turán, György. SOFSEM 2012: Theory and Practice of Computer Science. : Springer-Verlag GmbH Berlin Heidelberg, 2012. s. 177–189. ISBN 978-3-642-27660-6. []
Balyo, Tomáš, Příspěvek T. Balya na konferenci ICTAI2013 (přijat k publikaci ve sborníku jako 'short paper'; bibliografické údaje nebyly v okamžiku podání závěrečné zprávy známy). []
Balyo, Tomáš; Gurský, Štefan; Kučera, Petr; Vlček, Václav, Článek "On hierarchies over the SLUR class" v elektronickém sborníku konference ISAIM 2012. http://www.cs.uic.edu/bin/view/Isaim2012/AcceptedPapers []