Gereon Kremer

Available identifiers

zbMath Open kremer.gereonMaRDI QIDQ1996868

List of research outcomes

Publication	Date of Publication	Type
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)	2022-12-07	Paper
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings	2021-02-26	Paper
Fully incremental cylindrical algebraic decomposition	2020-03-24	Paper
Modular strategic SMT solving with \textbf{SMT-RAT}	2019-05-17	Paper
Satisfiability Checking: Theory and Applications	2018-07-06	Paper
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic	2016-11-09	Paper
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving	2015-11-20	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: Gereon Kremer