Leon Eifler

MaRDI QIDQ2061872zbMATH 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
Branch and Cut for Partitioning a Graph into a Cycle of Clusters (available as arXiv preprint)	N/A	Paper
The SCIP Optimization Suite 9.0 (available as arXiv preprint)	N/A	Paper
Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver (available as arXiv preprint)	N/A	Paper
Combining precision boosting with LP iterative refinement for exact linear optimization INFORMS Journal on Computing	2025-11-19	Paper
Algorithms and certificates for exact mixed integer programming	2025-11-07	Paper
Branch and cut for partitioning a graph into a cycle of clusters	2025-02-07	Paper
Enabling research through the SCIP Optimization Suite 8.0 ACM Transactions on Mathematical Software	2024-09-10	Paper
Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework SIAM Journal on Optimization	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 ACM Transactions on Mathematical Software	2023-03-22	Paper
A computational status update for exact rational mixed integer programming Mathematical Programming. Series A. Series B	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 Integer Programming and Combinatorial Optimization	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 (available as arXiv preprint)	2018-09-05	Paper
Mixed-integer programming for cycle detection in nonreversible Markov processes Multiscale Modeling & Simulation	2018-05-29	Paper

Research outcomes over time

This page was built for person: Leon Eifler