Florian Corzilius

From MaRDI portal
Person:2830008

Available identifiers

zbMath Open corzilius.florianMaRDI QIDQ2830008

List of research outcomes





PublicationDate of PublicationType
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic2016-11-09Paper
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving2015-11-20Paper
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers2013-09-20Paper
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition2013-06-14Paper
Virtual Substitution for SMT-Solving2011-08-19Paper

Research outcomes over time

This page was built for person: Florian Corzilius

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2830008&oldid=6932918"
Powered by MediaWiki