Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon

Published in: Petri Nets (2008)

Keyphrases

search algorithm
lower bound
probabilistic model
main memory