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, MJH Heule, M Järvisalo
AAAI 17, 5061-5063, 2017
622017
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
592015
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
462016
Probability logics: probability-based formalization of uncertain reasoning
Z Ognjanović, M Rašković, Z Marković
Springer, 2016
312016
Proceedings of SAT Competition 2014
A Belov, D Diepold, MJH Heule, M Järvisalo
University of Helsinki, 2014
24*2014
Accelerating SAT Based Planning with Incremental SAT Solving.
S Gocht, T Balyo
ICAPS, 135-139, 2017
172017
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
172014
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
172013
Relaxing the relaxed exist-step parallel planning semantics
T Balyo
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
162013
SAT competition 2018
MJH Heule, M Järvisalo, M Suda
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019
152019
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
112019
Hordeqbf: A modular and massively parallel QBF solver
T Balyo, F Lonsing
International Conference on Theory and Applications of Satisfiability …, 2016
112016
Parallel satisfiability
T Balyo, C Sinz
Handbook of Parallel Constraint Reasoning, 3-29, 2018
102018
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
92012
On different strategies for eliminating redundant actions from plans
T Balyo, L Chrpa, A Kilani
AAAI press, 2014
82014
Shortening plans by local re-planning
T Balyo, R Bartak, P Surynek
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
82012
Using algorithm configuration tools to generate hard SAT benchmarks
T Balyo, L Chrpa
Eleventh Annual Symposium on Combinatorial Search, 2018
72018
Using algorithm configuration tools to generate hard random satisfiable benchmarks
T Balyo
SAT COMPETITION 2016, 60, 2016
52016
Reinforced encoding for planning as sat
T Balyo, R Barták, O Trunda
Acta Polytechnica CTU Proceedings 2 (2), 1-7, 2015
52015
The freelunch planning system entering ipc 2014
T Balyo, S Gocht
IPC 2014 planner abstracts, 43-44, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20