Login / Signup

Efficient Formal Verification of Bounds of Linear Programs.

Alexey SolovyevThomas C. Hales
Published in: Calculemus/MKM (2011)
Keyphrases