Computer science/Algorithms/Optimization

Formalization of Lower-Bound Certificates for Optimal Classical Planning

by Dmitriy Traytel

Greedy Algorithms for Cardinality-Constrained Submodular Maximization

by Feier Lyu

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