Cristina Borralleras | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Elvira Albert
10 publications
Albert Rubio
9 publications
Miquel Bofill
3 publications
Daniel Larraz
3 publications
Enrique Martin-Martin
2 publications
Albert Oliveras
2 publications
Enric Rodriguez-Carbonell
2 publications

research

∙ 08/31/2020

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

We present new methods for solving the Satisfiability Modulo Theories pr...

0 Cristina Borralleras, et al. ∙

research

∙ 07/23/2019

Resource Analysis driven by (Conditional) Termination Proofs

When programs feature a complex control flow, existing techniques for re...

0 Elvira Albert, et al. ∙