Login / Signup

Multi-clock path analysis using propositional satisfiability.

Kazuhiro NakamuraShinji MaruokaShinji KimuraKatsumasa Watanabe
Published in: ASP-DAC (2000)
Keyphrases
  • artificial intelligence
  • expert systems
  • special case
  • propositional satisfiability