Borralleras, Cristina, Larraz, Daniel, Rodríguez-Carbonell, Enric, Oliveras, Albert, Rubio Albert. (2019). Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers . ACM transactions on computational logic, 20 (4)(25), doi: 10.1145/3340923.
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
on 18 de novembre de 2019
with No hi ha comentaris
Deixa un comentari