Tomás Balyo
17 publications
6 venues
H Index 8
Affiliation
Tom BalyoKarlsruhe Institute of Technology, Institute of Theoretical Informatics, Germany
Charles University in Prague, Department of Theoretical Computer Science and Mathematical Logic, Czech Republic
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Parallelizing a SAT-Based Product Configurator.
|
CP | 2021 | 0 |
| Unit Propagation with Stable Watches (Short Paper).
|
CP | 2021 | 0 |
| Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning.
|
ICAPS | 2019 | 26 |
| Finding Optimal Longest Paths by Dynamic Programming in Parallel.
|
SOCS | 2019 | 5 |
| PASAR - Planning as Satisfiability with Abstraction Refinement.
|
SOCS | 2019 | 0 |
| Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks.
|
SOCS | 2018 | 0 |
| Accelerating SAT Based Planning with Incremental SAT Solving.
|
ICAPS | 2017 | 21 |
| SAT Competition 2016: Recent Developments.
|
AAAI | 2017 | 93 |
| Using an Algorithm Portfolio to Solve Sokoban.
|
SOCS | 2017 | 0 |
| HordeQBF: A Modular and Massively Parallel QBF Solver.
|
SAT | 2016 | 7 |
| SAT Race 2015.
|
Artificial Intelligence | 2016 | 52 |
| HordeSat: A Massively Parallel Portfolio SAT Solver.
|
SAT | 2015 | 64 |
| No One SATPlan Encoding To Rule Them All.
|
SOCS | 2015 | 0 |
| Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask).
|
SAT | 2014 | 14 |
| On Different Strategies for Eliminating Redundant Actions from Plans.
|
SOCS | 2014 | 8 |
| Complexity issues related to propagation completeness.
|
Artificial Intelligence | 2013 | 17 |
| On Improving Plan Quality via Local Enhancements.
|
SOCS | 2012 | 0 |