Christoph Scholl

Available identifiers

zbMath Open scholl.christophMaRDI QIDQ436416

List of research outcomes

Publication	Date of Publication	Type
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications	2023-04-20	Paper
Solving dependency quantified Boolean formulas using quantifier localization	2022-06-24	Paper
The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1	2021-12-09	Paper
Incremental inprocessing in SAT solving	2020-05-20	Paper
Skolem functions for DQBF	2018-10-25	Paper
From DQBF to QBF by dependency elimination	2017-11-15	Paper
Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns	2017-07-12	Paper
2QBF: Challenges and Solutions	2016-09-05	Paper
Dependency Schemes for DQBF	2016-09-05	Paper
Improving Interpolants for Linear Arithmetic	2016-01-08	Paper
Preprocessing for DQBF	2015-11-20	Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces	2012-07-20	Paper
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints	2009-03-31	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
On WLCDs and the complexity of word-level decision diagrams --- A lower bound for division	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2770065	2002-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4230678	1999-02-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Scholl