Tomas Balyo
Tomas Balyo
Verified email at - Homepage
TitleCited byYear
SAT competition 2016: Recent developments
T Balyo, MJH Heule, M Jarvisalo
Thirty-First AAAI Conference on Artificial Intelligence, 2017
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
Complexity issues related to propagation completeness
M Babka, T Balyo, O Čepek, Š Gurský, P Kučera, V Vlček
Artificial Intelligence 203, 19-34, 2013
Everything you always wanted to know about blocked sets (but were afraid to ask)
T Balyo, A Fröhlich, MJH Heule, A Biere
International Conference on Theory and Applications of Satisfiability …, 2014
Relaxing the relaxed exist-step parallel planning semantics
T Balyo
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
Accelerating sat based planning with incremental sat solving
S Gocht, T Balyo
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
Hordeqbf: A modular and massively parallel QBF solver
T Balyo, F Lonsing
International Conference on Theory and Applications of Satisfiability …, 2016
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning
D Schreiber, D Pellier, H Fiorino
Proceedings of the International Conference on Automated Planning and …, 2019
SAT competition 2018
MJH Heule, M Järvisalo, M Suda
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019
On different strategies for eliminating redundant actions from plans
T Balyo, L Chrpa, A Kilani
Seventh Annual Symposium on Combinatorial Search, 2014
Shortening plans by local re-planning
T Balyo, R Bartak, P Surynek
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
Parallel satisfiability
T Balyo, C Sinz
Handbook of Parallel Constraint Reasoning, 3-29, 2018
Reachlunch entering the Unsolvability IPC 2016
T Balyo, M Suda
Unsolvability IPC: planner abstracts, 3-5, 2016
Reinforced encoding for planning as sat
T Balyo, R Barták, O Trunda
Acta Polytechnica CTU Proceedings 2 (2), 1-7, 2015
Two semantics for step-parallel planning: Which one to choose
T Balyo, R Barták, D Toropila
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011
Efektivni heuristika pro sat zalozena na znalosti komponent souvislosti grafu problemu
T Balyo, P Surynek
Proceedings of the Conference Znalosti 2009, 2009
Using an algorithm portfolio to solve sokoban
N Froleyks, T Balyo
Karlsruher Institut für Technologie (KIT), 2016
The freelunch planning system entering ipc 2014
T Balyo
IPC 2014 planner abstracts, 43-44, 2014
The system can't perform the operation now. Try again later.
Articles 1–20