Sign in

Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.

Poul Frederick WilliamsArmin BiereEdmund M. ClarkeAnubhav Gupta
Published in: CAV (2000)
Keyphrases
  • symbolic model checking
  • binary decision diagrams
  • decision diagrams
  • model checking
  • data sets
  • np hard
  • graphical models
  • np complete
  • decision problems
  • satisfiability problem
  • digital circuits