Gereon Kremer

Available identifiers

Publication	Date of Publication	Type
Extending the fundamental theorem of linear programming for strict inequalities	2025-01-20	Paper
Satisfiability modulo finite fields	2024-01-12	Paper
Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)	2022-12-07	Paper
Flexible proof production in an industrial-strength SMT solver	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

This page was built for person: Gereon Kremer