Tomas Balyo

Dikutip oleh

	Semua	Sejak 2020
Kutipan	804	494
indeks-h	14	10
indeks-i10	19	12

120

201320142015201620172018201920202021202220232024202513 21 20 26 67 70 79 93 108 90 85 106 12

Akses publik

Lihat semua

9 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Matti JärvisaloProfessor of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Markus IserKarlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Martin SudaCzech Technical University in PragueEmail yang diverifikasi di cvut.cz
Dominik P. SchreiberKarlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Lukáš ChrpaCzech Technical University in PragueEmail yang diverifikasi di cvut.cz
Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
Petr KučeraCharles University in PragueEmail yang diverifikasi di ktiml.mff.cuni.cz
Peter SandersProfessor of Computer Science, Karlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Stephan GochtEmail yang diverifikasi di drgocht.com
Damien PellierProfessor of Computer Science, Univ. Grenoble AlpesEmail yang diverifikasi di imag.fr
Pavel SurynekCzech Technical University, Faculty of Information TechnologyEmail yang diverifikasi di fit.cvut.cz
Christian SchulzProfessor of Computer Science, Heidelberg UniversityEmail yang diverifikasi di informatik.uni-heidelberg.de
Florian LonsingUnaffiliatedEmail yang diverifikasi di florianlonsing.com
Andreas FröhlichJKU LinzEmail yang diverifikasi di jku.at
Max SchemmerKarlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Noemi ChristensenTeam Lead Strategic & Lean Transformation | International Operations & Strategy Deployment, SiemensEmail yang diverifikasi di siemens.com
Marvin WilliamsKarlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Jaroslav KezniklFormer researcher @ Charles University in Prague
Roman BartakUniverzita Karlova v PrazeEmail yang diverifikasi di ktiml.mff.cuni.cz

Ikuti

Tomas Balyo

Filuta AI

Email yang diverifikasi di filuta.ai - Beranda

Satisfiability Automated Planning Heuristic Search


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	119	2015
SAT race 2015 T Balyo, A Biere, M Iser, C Sinz Artificial Intelligence 241, 45-65, 2016	76	2016
Gimsatul, IsaSAT and Kissat entering the SAT competition 2022 A Biere, M Fleury, T Balyo, M Heule, M Iser, M Järvisalo, M Suda Proc. of SAT Competition, 10-11, 2022	50	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
The sat competition 2014 A Belov, D Diepold, M Heule, M Järvisalo Proc. SAT COMPETITION, 45, 2014	33	2014
Parallel satisfiability T Balyo, C Sinz Handbook of Parallel Constraint Reasoning, 3-29, 2018	31	2018
Accelerating SAT based planning with incremental SAT solving S Gocht, T Balyo Proceedings of the International Conference on Automated Planning and …, 2017	28	2017
Relaxing the relaxed exist-step parallel planning semantics T Balyo 2013 IEEE 25th International Conference on Tools with Artificial …, 2013	25	2013
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
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	19	2014
Proceedings of sat competition 2020: Solver and benchmark descriptions T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Department of Computer Science, University of Helsinki, 2020	17	2020
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
Shortening plans by local re-planning T Balyo, R Bartak, P Surynek 2012 IEEE 24th International Conference on Tools with Artificial …, 2012	12	2012
Using an algorithm portfolio to solve sokoban N Froleyks, T Balyo Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017	10	2017
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 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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama