vix.ing · top · new · best · stats · spec
  1. A proof system for certifying symmetry and optimality reasoning in integer programming
    2023/11/07 by van Doornmalen, Jasper, Eifler, Leon, Gleixner, Ambros +1 · 1 citation
    #05-XX COMBINATORICS #90-XX OPERATIONS RESEARCH #FOS: Mathematics #MATHEMATICAL PROGRAMMING #Optimization and Control (math.OC)