Login / Signup

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.

Cristina BorrallerasDaniel LarrazEnric Rodríguez-CarbonellAlbert OliverasAlbert Rubio
Published in: ACM Trans. Comput. Log. (2019)
Keyphrases
  • incomplete data
  • statistical machine translation
  • missing data
  • solving problems
  • np complete
  • real numbers