Christoph Scholl

Available identifiers

zbMath Open scholl.christophMaRDI QIDQ436416

List of research outcomes

Publication	Date of Publication	Type
Quantifier elimination in stochastic Boolean satisfiability	2024-07-12	Paper
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
Functional decomposition with application to FPGA synthesis	2002-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4230678	1999-02-08	Paper

Research outcomes over time

This page was built for person: Christoph Scholl