Download citation

Computing and proving with pivots

RAIRO-Oper. Res., 47 4 (2013) 331-360
DOI: https://doi.org/10.1051/ro/2013042