Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
arxiv(2024)
摘要
This paper presents the integration of constraint propagation and dual proof
analysis in an exact, roundoff-error-free MIP solver. The authors employ safe
rounding methods to ensure that all results remain provably correct, while
sacrificing as little computational performance as possible in comparison to a
pure floating-point implementation. The study also addresses the adaptation of
certification techniques for correctness verification. Computational studies
demonstrate the effectiveness of these techniques, showcasing a 23
improvement on the MIPLIB 2017 benchmark test set.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要