Login / Signup

Improving Test Pattern Compactness in SAT-based ATPG.

Stephan EggersglüßRolf Drechsler
Published in: ATS (2007)
Keyphrases
  • pattern matching
  • database
  • information systems
  • real time
  • training data
  • support vector
  • evolutionary algorithm
  • dynamic programming
  • answer set programming