vix.ing · top · new · best · stats · spec

Andy Oertel

  1. Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
    2024/01/17 by Alexander Hoen, Hoen, Alexander, Andy Oertel +5 · 1 citation
    Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic, programming, and type systems #Optimization and Control (math.OC) #Software Testing and Debugging Techniques