activity
20202022
most citedRealizability Checking of Contracts with Kind 2

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

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…