Login / Signup

An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability.

Feijun ZhengKwang-Ting ChengXiaolang YanJohn MoondanosZiyad Hanna
Published in: ATS (2007)
Keyphrases
  • boolean satisfiability
  • genetic algorithm
  • computational complexity
  • search space
  • special case