@inproceedings{SpasicMaric,
Author = {Mirko Spasi
\'c and Filip Mari
\'c},
Booktitle = {FM
'12},
Doi = {
10.
1007/
978-
3-
642-
32759-
9_
35},
Editor = {Dimitra Giannakopoulou and Dominique M{
\'{e}}ry},
Opt_Publisher = {Springer},
Series = {LNCS},
Volume = {
7436},
Year = {
2012},
Pages = {
434--
449},
Title = {Formalization of Incremental Simplex Algorithm by Stepwise Refinement},
Bdsk-Url-
1 = {
https://doi.org/10.
1007/
978-
3-
642-
32759-
9_
35}}
@inproceedings{florian-refinement,
Author = {Florian Haftmann and Alexander Krauss and Ondrej Kun
\v{c}ar and Tobias Nipkow},
Booktitle = {ITP
'13},
Optpublisher = {Springer},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
Pages = {
100--
115},
Series = {LNCS},
Title = {Data Refinement in {I}sabelle/{HOL}},
Volume = {
7998},
Year = {
2013}}
@inproceedings{simplex-rad,
author = {Bruno Dutertre and
Leonardo de Moura},
editor = {Thomas Ball and
Robert B. Jones},
title = {A Fast Linear-Arithmetic Solver for {DPLL(T)}},
booktitle = {CAV
'06},
series = {LNCS},
volume = {
4144},
pages = {
81--
94},
optpublisher = {Springer},
year = {
2006},
doi = {
10.
1007/
11817963_
11},
}
