Lower Runtime Bounds for Integer Programs.

Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jrgen Giesl

Browse the full CADE paper archive.