Showing posts with label Programs. Show all posts
Showing posts with label Programs. Show all posts

Monday, 22 July 2013

Safety Problems are NP-complete for Flat Integer Programs with Difference Bounds Loops. (arXiv:1307.5321v1 [cs.CC])

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO) Sorry, I could not read the content fromt this page.

View the original article here