Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops.

Marius Bozga, Radu Iosif, Filip Konecn

Browse the full VMCAI paper archive.