Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
Borralleras, Cristina, Larraz, Daniel, Rodríguez-Carbonell, Enric, Oliveras, Albert, Rubio, AlbertVolume:
20
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/3340923
Date:
August, 2019
File:
PDF, 1.58 MB
english, 2019