Extending Clause Learning SAT Solvers with Complete Parity Reasoning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemel

Browse the full ICTAI paper archive.