busines news
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
Older Posts
Home
Subscribe to:
Posts (Atom)