Extending Clause Learning SAT Solvers with Complete Parity Reasoning (2012)

AUTHORS:

Laitinen Tero , Junttila Tommi , Niemelä Ilkka

  • BOOKTITLE: