Tomas Balyo

Identifiers

• name variant Tomas Balyo 0.60 · backfill

Papers (5)

1. Finding Optimal Longest Paths by Dynamic Programming in Parallel cs.DS · 2019 · author #2
2. Unbounded Software Model Checking with Incremental SAT-Solving cs.SC · 2018 · author #2
3. Optimal Longest Paths by Dynamic Programming cs.DS · 2017 · author #1
4. HordeQBF: A Modular and Massively Parallel QBF Solver cs.LO · 2016 · author #1
5. HordeSat: A Massively Parallel Portfolio SAT Solver cs.LO · 2015 · author #1

Mentions

• 1505.03340 #1 · backfill · confidence 0.70 Tomas Balyo

Frequent Coauthors

• Carsten Sinz 2 shared papers
• Christian Schulz 2 shared papers
• Kai Fieger 2 shared papers
• Dominik Schreiber 1 shared papers
• Florian Lonsing 1 shared papers
• Marko Kleine B\"uning 1 shared papers
• Peter Sanders 1 shared papers