Florian Corzilius
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CASC | A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. | Gereon Kremer, Florian Corzilius, Erika brahm |
| 2016 | SETTA | Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. | Erika brahm, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | SAT | SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika brahm |
| 2013 | CADE | A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. | Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika brahm, Bernd Becker |
| 2012 | SAT | SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). | Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika brahm |
| 2011 | FCT | Virtual Substitution for SMT-Solving. | Florian Corzilius, Erika brahm |