An Incremental Simplex Algorithm with Unsatisfiable Core Generation
by Filip Marić, Mirko Spasić and René Thiemann
by Filip Marić, Mirko Spasić and René Thiemann
Computer science/Algorithms/Optimization
Subject Classification
ACM: Theory of computation~Mathematical optimization
2018
by Filip Marić, Mirko Spasić and René Thiemann