Login / Signup

Speeding up SAT-Based ATPG Using Dynamic Clause Activation.

Stephan EggersglüßDaniel TilleRolf Drechsler
Published in: Asian Test Symposium (2009)
Keyphrases
  • dynamic environments
  • information processing
  • sat solvers
  • data structure
  • propositional logic
  • answer set programming
  • bounded model checking