Christoph Scholl

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Theory and Applications of Satisfiability Testing – SAT 2018	2023-04-20	Paper
Solving dependency quantified Boolean formulas using quantifier localization Theoretical Computer Science	2022-06-24	Paper
The (D)QBF preprocessor HQSpre -- underlying theory and its implementation Journal on Satisfiability, Boolean Modeling and Computation	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 IEEE Transactions on Computers	2017-07-12	Paper
2QBF: challenges and solutions Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Dependency schemes for DQBF Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Improving interpolants for linear arithmetic Automated Technology for Verification and Analysis	2016-01-08	Paper
Preprocessing for DQBF Lecture Notes in Computer Science	2015-11-20	Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Science of Computer Programming	2012-07-20	Paper
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis	2008-07-03	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
On WLCDs and the complexity of word-level decision diagrams --- A lower bound for division Formal Methods in System Design	2002-06-16	Paper
Functional decomposition with application to FPGA synthesis	2002-02-06	Paper
scientific article; zbMATH DE number 1249503 (Why is no real title available?)	1999-02-08	Paper

Research outcomes over time

This page was built for person: Christoph Scholl