Gereon Kremer

MaRDI QIDQ1996868zbMATH OpenFDO

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
Extending the fundamental theorem of linear programming for strict inequalities	2025-01-20	Paper
Satisfiability modulo finite fields	2024-01-12	Paper
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 Journal of Logical and Algebraic Methods in Programming	2021-02-26	Paper
Fully incremental cylindrical algebraic decomposition Journal of Symbolic Computation	2020-03-24	Paper
Modular strategic SMT solving with \textbf{SMT-RAT} Acta Universitatis Sapientiae. Informatica	2019-05-17	Paper
Satisfiability checking: theory and applications Software Engineering and Formal Methods	2018-07-06	Paper
A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic Computer Algebra in Scientific Computing	2016-11-09	Paper
\texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving Lecture Notes in Computer Science	2015-11-20	Paper

Research outcomes over time

This page was built for person: Gereon Kremer