Approximate Reachability with BDDs Using Overlapping Projections.

Shankar G. Govindaraju David L. Dill Alan J. Hu Mark Horowitz

Published in: DAC (1998)

Keyphrases

three dimensional
state space
heuristic search
social networks
search algorithm
least squares
x ray
radon transform
polyhedral objects
information systems
exact solution
tomographic reconstruction