Simplifying Pseudo-Boolean Constraints in Residual Number Systems.

Yoav Fekete, Michael Codish

Browse the full SAT paper archive.