Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (2000)

AUTHORS:

Junttila Tommi , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 553-567