Exponential space complexity for OBDD-based reachability analysis

Beate Bollig
DOI: https://doi.org/10.1016/j.ipl.2010.07.022
IF: 0.851
2010-10-01
Information Processing Letters
Abstract:
What problem does this paper attempt to address?