Leon Eifler

Available identifiers

zbMath Open eifler.leonMaRDI QIDQ2061872

List of research outcomes

Publication	Date of Publication	Type
Enabling research through the SCIP Optimization Suite 8.0	2024-09-10	Paper
Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework	2024-02-27	Paper
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization	2023-11-14	Paper
A proof system for certifying symmetry and optimality reasoning in integer programming	2023-11-07	Paper
A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture	2023-03-22	Paper
A computational status update for exact rational mixed integer programming	2023-03-14	Paper
Enabling Research through the SCIP Optimization Suite 8.0	2023-03-13	Paper
A computational status update for exact rational mixed integer programming	2021-12-21	Paper
The SCIP Optimization Suite 8.0	2021-12-16	Paper
A Safe Computational Framework for Integer Programming applied to Chv\'atal's Conjecture	2018-09-05	Paper
Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes	2018-05-29	Paper
Branch and Cut for Partitioning a Graph into a Cycle of Clusters	N/A	Paper
The SCIP Optimization Suite 9.0	N/A	Paper
Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver	N/A	Paper

Research outcomes over time

This page was built for person: Leon Eifler