Login / Signup

Flyspeck II: the basic linear programs.

Steven ObuaTobias Nipkow
Published in: Ann. Math. Artif. Intell. (2009)
Keyphrases