An Incremental Simplex Algorithm with Unsatisfiable Core Generationby Filip Marić, Mirko Spasić and René Thiemann24 Aug