3,721 followers
@DrPaulynomial @jim_luedtke @SvenLeyffer @lauraalbertphd Not sure what the student wants, but this paper by @dansteffy is also very interesting talking about exact methods: https://t.co/AG2Xy8IGv1 (Also references therein...)
@DrPaulynomial @jim_luedtke @SvenLeyffer @lauraalbertphd Not sure what the student wants, but this paper by @dansteffy is also very interesting talking about exact methods: https://t.co/AG2Xy8IGv1 (Also references therein...)
Verifying Integer Programming Results. (arXiv:1611.08832v2 [math.OC] UPDATED) https://t.co/ri62CgF0ff
@ima5 正解かと思います. https://t.co/dTcBRy3bMW
Kevin K. H. Cheung, Ambros Gleixner, Daniel E. Steffy : Verifying Integer Programming Results https://t.co/KamN9pGQWM