Christoph Scholl

7 publications

2 venues

H Index 6

Name Venue Year citations
Incremental Inprocessing in SAT Solving. SAT 2019 17
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI 2019 5
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. SAT 2018 9
From DQBF to QBF by Dependency Elimination. SAT 2017 8
2QBF: Challenges and Solutions. SAT 2016 7
Dependency Schemes for DQBF. SAT 2016 11
Preprocessing for DQBF. SAT 2015 23
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ