Sign in
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