Dominik Schreiber 0001
7 publications
4 venues
H Index 3
Affiliation
Karlsruher Institut f r Technologie, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Trusted Scalable SAT Solving with On-The-Fly LRAT Checking.
|
SAT | 2024 | 0 |
| MallobSat: Scalable SAT Solving by Clause Sharing.
|
JAIR | 2024 | 0 |
| Lilotane: A Lifted SAT-based Approach to Hierarchical Planning.
|
JAIR | 2021 | 14 |
| Scalable SAT Solving in the Cloud.
|
SAT | 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 |