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

Bentkamp, Alexander

  1. Verified reductions for optimization
    2023/01/23 by Alexander Bentkamp, Bentkamp, Alexander, Ramon Fernández Mir +3 · 1 citation
    Computer Science · #68V15 #90C25 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Optimization and Control (math.OC)