Classifying and Propagating Parity Constraints (2012)

AUTHORS:

Laitinen Tero , Junttila Tommi , Niemelä Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 7514
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 357-372

URL:
http://dx.doi.org/10.1007/978-3-642-33558-7_28