Enric Rodriguez-Carbonell | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Albert Rubio
9 publications
Valentin Mayer-Eichberger
5 publications
Daniel Larraz
3 publications
Cristina Borralleras
2 publications
Ignasi Abío
2 publications
Albert Oliveras
2 publications
Robert Nieuwenhuis
1 publication

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

∙ 01/23/2014

A New Look at BDDs for Pseudo-Boolean Constraints

Pseudo-Boolean constraints are omnipresent in practical applications, an...

0 Ignasi Abío, et al. ∙

Success!

An error occurred