Concepedia

Tomáš Balyo

TB

6

Publications

192

Citations

6

H-Index

2013

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

The University of Texas at Austin

Helsinki Institute for Information Technology

Charles University

Tomáš Balyo is an author at Karlsruhe Institute of Technology specializing in computational complexity, engineering, and formal methods.

Top concepts

EngineeringComputational ComplexityFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningCombinatorial OptimizationFormal VerificationArtificial IntelligenceRace

Publications per year

2013–2021

6

Publications

6

SAT Competition 2016: Recent Developments

Tomáš Balyo, Marijn J. H. Heule, Matti Järvisalo · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 77 citations · Full text

Artificial Intelligence, Engineering, Computational Complexity +16

Tomáš Balyo, Armin Biere, Markus Iser et al. · Artificial Intelligence · 2016 · 44 citations

Critical Race Theory, Race Relation, African American Studies +4

Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions

Tomáš Balyo, Marijn J. H. Heule, Matti Järvisalo · Työväentutkimus Vuosikirja · 2016 · 33 citations · Full text

Engineering, Benchmark Descriptions, Sat Solving +3

Complexity issues related to propagation completeness

Martin Babka, Tomáš Balyo, Ondřej Čepek et al. · Artificial Intelligence · 2013 · 14 citations

Mathematical Programming, Computational Complexity Theory, Engineering +7

Accelerating SAT Based Planning with Incremental SAT Solving

Stephan Gocht, Tomáš Balyo · Proceedings of the International Conference on Automated Planning and Scheduling · 2017 · 14 citations · Full text

Artificial Intelligence, Engineering, Computational Complexity +16

Rows per page

1–5 of 6