Login / Signup

Designing a Solver for Arithmetic Constraints to Support Education in Mathematics.

Ana Paula TomásNelma MoreiraNuno Pereira
Published in: AIAI (2006)
Keyphrases
  • arithmetic constraints
  • special case