Login / Signup

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

Christian Appold
Published in: GANDALF (2010)
Keyphrases
  • symbolic model checking
  • symmetry breaking
  • state space
  • artificial intelligence
  • search algorithm
  • orders of magnitude