BDDs on the Run.

Klaus Havelund Doron Peled

Published in: ISoLA (4) (2018)

Keyphrases

heuristic search
real time
social networks
data sets
computer science
real world
optimal solution
data structure
set bounds propagation