Computer science/Algorithms/Optimization

Type Annotations with Roundtrip Property

by Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu and Dmitriy Traytel

Unconstrained Optimization

by Dustin Bryant

An Incremental Simplex Algorithm with Unsatisfiable Core Generation

by Filip Marić, Mirko Spasić and René Thiemann