Mirko Spasić

An Incremental Simplex Algorithm with Unsatisfiable Core Generation

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