scholarly journals Solving non-linear arithmetic with SAT modulo theories and abstraction

2020 ◽  
Vol 331 ◽  
Author(s):  
Alberto Griggio
Keyword(s):  
Linear Arithmetic ◽  
Non Linear ◽  
Sat Modulo Theories

scholarly journals Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic

2009 ◽  
pp. 294-305 ◽  
Author(s):  
Cristina Borralleras ◽  
Salvador Lucas ◽  
Rafael Navarro-Marset ◽  
Enric Rodríguez-Carbonell ◽  
Albert Rubio
Keyword(s):  
Linear Arithmetic ◽  
Linear Polynomial ◽  
Non Linear

NACU: A Non-Linear Arithmetic Unit for Neural Networks

2020 ◽  
Author(s):  
Guido Baccelli ◽  
Dimitrios Stathis ◽  
Ahmed Hemani ◽  
Maurizio Martina
Keyword(s):  
Neural Networks ◽  
Arithmetic Unit ◽  
Linear Arithmetic ◽  
Non Linear

Optimization Modulo Non-linear Arithmetic via Incremental Linearization

2021 ◽  
pp. 213-231
Author(s):  
Filippo Bigarella ◽  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Ahmed Irfan ◽  
Martin Jonáš ◽  
...  
Keyword(s):  
Linear Arithmetic ◽  
Non Linear

Implementation of an open core IEEE 754-based FPU with non-linear arithmetic support

2016 ◽  
Author(s):  
Adrian Cervantes ◽  
Francis Lopez ◽  
Jeffry Quiros ◽  
Diego Rodriguez ◽  
Carlos Salazar-Garcia ◽  
...  
Keyword(s):  
Linear Arithmetic ◽  
Non Linear ◽  
Open Core

Solving non-linear arithmetic

2013 ◽  
Vol 46 (3/4) ◽  
pp. 104-105 ◽  
Author(s):  
Dejan Jovanović ◽  
Leonardo de Moura
Keyword(s):  
Linear Arithmetic ◽  
Non Linear
Sign in / Sign up

Export Citation Format

Share Document