TY  - RPRT
TI  - Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version)
AU  - Tero Laitinen
AU  - Tommi Junttila
AU  - Ilkka Niemelä
PY  - 2012
UR  - https://arxiv.org/abs/1207.0988
ID  - 1207.0988
ER  -