Extending Clause Learning DPLL with Parity Reasoning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemel

Browse the full ECAI paper archive.