Solving Difference Constraints over Modular Arithmetic Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 2013

Identity

Digital Object Identifier (DOI)

  • 10.1007/978-3-642-38574-2_15

Additional Document Info

Parent Title

  • Automated Deduction - CADE-24
  • The 24th International Conference on Automated Deduction, CADE-24

Volume

  • 7898

Publisher

  • Springer Verlag