2 citations · 2 across the 3 of their papers we have counts for
3 papers
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Miguel Isabel, Enric Rodríguez-Carbonell, Clara Rodríguez-Núñez +1
Zero-knowledge proofs (ZKPs) are an emerging technology that has become the solution to efficiently provide security and privacy along with the transparency requirement of blockcha…
IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell
State-of-the-art SAT solvers are nowadays able to handle huge real-world instances. The key to this success is the so-called Conflict-Driven Clause-Learning (CDCL) scheme, which en…
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
Cristina Borralleras, Daniel Larraz, Albert Oliveras +2
We present new methods for solving the Satisfiability Modulo Theories problem over the theory of Quantifier-Free Non-linear Integer Arithmetic, SMT(QF-NIA), which consists in decid…