An Incremental Simplex Algorithm with Unsatisfiable Core Generation

MaRDI QIDQ7361924FDO

Authors Filip Marić, Mirko Spasić, René Thiemann

Publication date 24 August 2018

Cites work

• Data refinement in Isabelle/HOL
• Formalization of Incremental Simplex Algorithm by Stepwise Refinement

Cited in

(1)

• Farkas' Lemma and Motzkin's Transposition Theorem

This page was built for software: An Incremental Simplex Algorithm with Unsatisfiable Core Generation