The reachability-bound problem.

Sumit Gulwani, Florian Zuleger

Browse the full PLDI paper archive.