Daniel E. Steffy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ambros Gleixner
9 publications
Kevin K. H. Cheung
8 publications

research

∙ 12/30/2019

Linear Programming using Limited-Precision Oracles

Since the elimination algorithm of Fourier and Motzkin, many different m...

0 Ambros Gleixner, et al. ∙

research

∙ 11/27/2016

Verifying Integer Programming Results

Software for mixed-integer linear programming can return incorrect resul...

0 Kevin K. H. Cheung, et al. ∙