Tomas Balyo
Tomas Balyo
Verified email at kit.edu - Homepage
TitleCited byYear
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
462015
SAT competition 2016: Recent developments
T Balyo, MJH Heule, M Jarvisalo
Thirty-First AAAI Conference on Artificial Intelligence, 2017
432017
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
312016
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
142014
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
142013
Relaxing the relaxed exist-step parallel planning semantics
T Balyo
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
132013
Hordeqbf: A modular and massively parallel QBF solver
T Balyo, F Lonsing
International Conference on Theory and Applications of Satisfiability …, 2016
102016
Accelerating sat based planning with incremental sat solving
S Gocht, T Balyo
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
92017
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
92012
Shortening plans by local re-planning
T Balyo, R Bartak, P Surynek
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
72012
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
62019
On different strategies for eliminating redundant actions from plans
T Balyo, L Chrpa, A Kilani
Seventh Annual Symposium on Combinatorial Search, 2014
62014
Sat competition 2017
M Heule, M Järvisalo, T Balyo
SAT, 2013
62013
Parallel satisfiability
T Balyo, C Sinz
Handbook of Parallel Constraint Reasoning, 3-29, 2018
42018
Reinforced encoding for planning as sat
T Balyo, R Barták, O Trunda
Acta Polytechnica CTU Proceedings 2 (2), 1-7, 2015
42015
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
42011
Efektivni heuristika pro sat zalozena na znalosti komponent souvislosti grafu problemu
T Balyo, P Surynek
Proceedings of the Conference Znalosti 2009, 2009
42009
Using an algorithm portfolio to solve sokoban
N Froleyks, T Balyo
Karlsruher Institut für Technologie (KIT), 2016
32016
Reachlunch entering the Unsolvability IPC 2016
T Balyo, M Suda
Unsolvability IPC: planner abstracts, 3-5, 2016
32016
Eliminating all redundant actions from plans using SAT and MaxSAT
T Balyo, L Chrpa
ICAPS, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20