Login / Signup

Simplifying Pseudo-Boolean Constraints in Residual Number Systems.

Yoav FeketeMichael Codish
Published in: SAT (2014)
Keyphrases
  • expert systems