Non-Clausal SAT and ATPG (2009)

AUTHORS:

Drechsler Rolf , Junttila Tommi , Niemelä Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 185
  • SERIES:
  • Frontiers in Artificial Intelligence and Applications
  • PAGES:
  • 655-693