关注
Tomas Balyo
Tomas Balyo
Filuta AI
在 filuta.ai 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
SAT competition 2016: Recent developments
T Balyo, M Heule, M Jarvisalo
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
1172017
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
1072015
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
702016
The sat competition 2014
A Belov, D Diepold, M Heule, M Järvisalo
Proc. SAT COMPETITION, 45, 2014
51*2014
Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning
D Schreiber, D Pellier, H Fiorino, T Balyo
Proceedings of the International Conference on Automated Planning and …, 2019
352019
Gimsatul, IsaSAT and Kissat entering the SAT competition 2022
A Biere, M Fleury
Proc. of SAT Competition, 10-11, 2022
302022
Accelerating SAT based planning with incremental SAT solving
S Gocht, T Balyo
Proceedings of the International Conference on Automated Planning and …, 2017
292017
Parallel satisfiability
T Balyo, C Sinz
Handbook of Parallel Constraint Reasoning, 3-29, 2018
272018
Everything you always wanted to know about blocked sets (but were afraid to ask)
T Balyo, A Fröhlich, MJH Heule, A Biere
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
232014
Relaxing the relaxed exist-step parallel planning semantics
T Balyo
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
232013
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
202013
On different strategies for eliminating redundant actions from plans
T Balyo, L Chrpa, A Kilani
Proceedings of the International Symposium on Combinatorial Search 5 (1), 10-18, 2014
182014
Using algorithm configuration tools to generate hard SAT benchmarks
T Balyo, L Chrpa
Proceedings of the International Symposium on Combinatorial Search 9 (1 …, 2018
132018
Hordeqbf: A modular and massively parallel QBF solver
T Balyo, F Lonsing
International Conference on Theory and Applications of Satisfiability …, 2016
132016
SAT Competition 2017–Solver and Benchmark Descriptions
T Balyo, MJH Heule, M Järvisalo
Proceedings of SAT COMPETITION 2017, 14-15, 2017
112017
Shortening plans by local re-planning
T Balyo, R Bartak, P Surynek
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
112012
The international SAT Competitions web page
M Heule, M Järvisalo, M Suda, T Balyo, C Sinz, A Biere
102019
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
102012
Using an algorithm portfolio to solve Sokoban
N Froleyks, T Balyo
Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017
92017
Using algorithm configuration tools to generate hard random satisfiable benchmarks
T Balyo
Proceedings of SAT Competition 2016: Solver and Benchmarks Descriptions, 60-62, 2016
92016
系统目前无法执行此操作，请稍后再试。
文章 1–20