Next-preserving branching bisimulation.

Nisansala Yatapanage Kirsten Winter

Published in: Theor. Comput. Sci. (2015)

Keyphrases

search tree
branch and bound
databases
artificial intelligence
decision making
objective function
image details