Christoph Scholl 0001
9 publications
2 venues
H Index 7
Affiliation
University of Freiburg, Department of Computer Science, GermanySaarland University, Department of Computer Science, Saarbr cken, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Hierarchical Stochastic SAT and Quality Assessment of Logic Locking.
|
SAT | 2024 | 0 |
| Quantifier Elimination in Stochastic Boolean Satisfiability.
|
SAT | 2022 | 9 |
| A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
|
AAAI | 2019 | 7 |
| Incremental Inprocessing in SAT Solving.
|
SAT | 2019 | 41 |
| Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract.
|
SAT | 2018 | 15 |
| From DQBF to QBF by Dependency Elimination.
|
SAT | 2017 | 14 |
| Dependency Schemes for DQBF.
|
SAT | 2016 | 14 |
| 2QBF: Challenges and Solutions.
|
SAT | 2016 | 10 |
| Preprocessing for DQBF.
|
SAT | 2015 | 26 |