Tomas Balyo

Cited by

	All	Since 2019
Citations	798	559
h-index	13	10
i10-index	18	12

120

20132014201520162017201820192020202120222023202413 21 22 26 70 76 81 91 104 89 88 106

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Markus IserKarlsruhe Institute of TechnologyVerified email at kit.edu
Dominik P. SchreiberKarlsruhe Institute of TechnologyVerified email at kit.edu
Lukáš ChrpaCzech Technical University in PragueVerified email at cvut.cz
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Petr KučeraCharles University in PragueVerified email at ktiml.mff.cuni.cz
Peter SandersProfessor of Computer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
Damien PellierProfessor of Computer Science, Univ. Grenoble AlpesVerified email at imag.fr
Pavel SurynekCzech Technical University, Faculty of Information TechnologyVerified email at fit.cvut.cz
Stephan GochtLund UniversityVerified email at cs.lth.se
Christian SchulzProfessor of Computer Science, Heidelberg UniversityVerified email at informatik.uni-heidelberg.de
Florian LonsingUnaffiliatedVerified email at florianlonsing.com
Andreas FröhlichJKU LinzVerified email at jku.at
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Noemi ChristensenTeam Lead Strategic & Lean Transformation | International Operations & Strategy Deployment, SiemensVerified email at siemens.com
Max SchemmerKarlsruhe Institute of TechnologyVerified email at kit.edu
Marvin WilliamsKarlsruhe Institute of TechnologyVerified email at kit.edu
Jaroslav KezniklFormer researcher @ Charles University in Prague
Roman BartakUniverzita Karlova v PrazeVerified email at ktiml.mff.cuni.cz

Tomas Balyo

Filuta AI

Verified email at filuta.ai - Homepage

Satisfiability Automated Planning Heuristic Search


Title Sort by citations Sort by year Sort by 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	123	2017
Hordesat: A massively parallel portfolio SAT solver T Balyo, P Sanders, C Sinz Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015	117	2015
SAT race 2015 T Balyo, A Biere, M Iser, C Sinz Artificial Intelligence 241, 45-65, 2016	75	2016
The sat competition 2014 A Belov, D Diepold, M Heule, M Järvisalo Proc. SAT COMPETITION, 45, 2014	54*	2014
Gimsatul, IsaSAT and Kissat entering the SAT competition 2022 A Biere, M Fleury Proc. of SAT Competition, 10-11, 2022	47	2022
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	37	2019
Parallel satisfiability T Balyo, C Sinz Handbook of Parallel Constraint Reasoning, 3-29, 2018	30	2018
Accelerating SAT based planning with incremental SAT solving S Gocht, T Balyo Proceedings of the International Conference on Automated Planning and …, 2017	30	2017
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	24	2014
Relaxing the relaxed exist-step parallel planning semantics T Balyo 2013 IEEE 25th International Conference on Tools with Artificial …, 2013	23	2013
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	21	2013
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	18	2014
Hordeqbf: A modular and massively parallel QBF solver T Balyo, F Lonsing International Conference on Theory and Applications of Satisfiability …, 2016	14	2016
Using algorithm configuration tools to generate hard SAT benchmarks T Balyo, L Chrpa Proceedings of the International Symposium on Combinatorial Search 9 (1 …, 2018	13	2018
The international SAT Competitions web page M Heule, M Järvisalo, M Suda, T Balyo, C Sinz, A Biere	12	2019
SAT Competition 2017–Solver and Benchmark Descriptions T Balyo, MJH Heule, M Järvisalo Proceedings of SAT COMPETITION 2017, 14-15, 2017	11	2017
Shortening plans by local re-planning T Balyo, R Bartak, P Surynek 2012 IEEE 24th International Conference on Tools with Artificial …, 2012	11	2012
On hierarchies over the SLUR class T Balyo, Š Gurský, P Kucera, V Vlcek Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012	10	2012
Using an algorithm portfolio to solve Sokoban N Froleyks, T Balyo Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017	9	2017
Using algorithm configuration tools to generate hard random satisfiable benchmarks T Balyo Proceedings of SAT Competition 2016: Solver and Benchmarks Descriptions, 60-62, 2016	9	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors