TACO: a toolkit for AMPL control optimization Christian KirchesSven Leyffer Full Length Paper 30 April 2013 Pages: 227 - 265
GPU accelerated greedy algorithms for compressed sensing Jeffrey D. BlanchardJared Tanner Full Length Paper 13 July 2013 Pages: 267 - 304
A hybrid branch-and-bound approach for exact rational mixed-integer programming William CookThorsten KochKati Wolter Full Length Paper 30 June 2013 Pages: 305 - 344