Tomas Balyo
Tomas Balyo
CAS Software AG
Verified email at cas.de - Homepage
Title
Cited by
Cited by
Year
SAT competition 2016: Recent developments
T Balyo, M Heule, M Jarvisalo
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
782017
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
712015
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
562016
Proceedings of SAT Competition 2014
A Belov, D Diepold, MJH Heule, M Järvisalo
University of Helsinki, 2014
26*2014
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
232019
Accelerating SAT based planning with incremental SAT solving
S Gocht, T Balyo
Proceedings of the International Conference on Automated Planning and …, 2017
212017
Relaxing the relaxed exist-step parallel planning semantics
T Balyo
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
212013
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
202014
Parallel satisfiability
T Balyo, C Sinz
Handbook of Parallel Constraint Reasoning, 3-29, 2018
162018
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
162013
Hordeqbf: A modular and massively parallel QBF solver
T Balyo, F Lonsing
International Conference on Theory and Applications of Satisfiability …, 2016
112016
Using algorithm configuration tools to generate hard SAT benchmarks
T Balyo, L Chrpa
Eleventh Annual Symposium on Combinatorial Search, 2018
102018
On different strategies for eliminating redundant actions from plans
T Balyo, L Chrpa, A Kilani
Seventh Annual Symposium on Combinatorial Search, 2014
102014
Shortening plans by local re-planning
T Balyo, R Bartak, P Surynek
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
102012
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
102012
PASAR—Planning as Satisfiability with Abstraction Refinement
N Froleyks, T Balyo, D Schreiber
Twelfth Annual Symposium on Combinatorial Search, 2019
72019
Using algorithm configuration tools to generate hard random satisfiable benchmarks
T Balyo
Proceedings of SAT Competition 2016: Solver and Benchmarks Descriptions, 60-62, 2016
72016
Reinforced encoding for planning as SAT
T Balyo, R Barták, O Trunda
Acta Polytechnica CTU Proceedings 2 (2), 1-7, 2015
62015
The freelunch planning system entering ipc 2014
T Balyo, S Gocht
Proceedings of the 8th International Planning Competition (IPC-2014), 2014
62014
Finding optimal longest paths by dynamic programming in parallel
K Fieger, T Balyo, C Schulz, D Schreiber
Twelfth Annual Symposium on Combinatorial Search, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20