Login / Signup

Up-to Techniques for Branching Bisimilarity.

Rick ErkensJurriaan RotBas Luttik
Published in: SOFSEM (2020)
Keyphrases
  • branch and bound
  • search tree
  • keywords
  • databases
  • data structure
  • evolutionary algorithm
  • simulated annealing