An Incremental Simplex Algorithm with Unsatisfiable Core Generation

Filip Marić, Mirko Spasić, René Thiemann
Archive of Formal Proofs 2018.

abstract   BibTeX    
AFP entry