Sign in

Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages

François HantryMohand-Said Hacid
Published in: FLACOS (2011)
Keyphrases
  • depth first search
  • breadth first search
  • search tree
  • model checking
  • routing problem
  • description logics
  • branch and bound
  • tree search
  • spanning tree
  • multi dimensional