2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 2 cited
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…
cs.LO2020
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…