Login / Signup

Adaptive variable reordering for symbolic model checking.

Gila KamhiLimor Fix
Published in: ICCAD (1998)
Keyphrases
  • symbolic model checking
  • model checking
  • conformant planning
  • formal verification
  • partial observability
  • np hard
  • mobile robot
  • constraint satisfaction problems
  • symbolic representation