Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä. Extending Clause Learning SAT Solvers with Complete Parity Reasoning. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. pages 65-72, IEEE, 2012. [doi]
Abstract is missing.