SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

Theory and Applications of Satisfiability Testing – SAT 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79719-7_8 ◽

2008 ◽

pp. 77-90 ◽

Cited By ~ 13

Author(s):

Germain Faure ◽

Robert Nieuwenhuis ◽

Albert Oliveras ◽

Enric Rodríguez-Carbonell

Keyword(s):

Linear Arithmetic

Download Full-text

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11693024_19 ◽

2006 ◽

pp. 279-293 ◽

Cited By ~ 14

Author(s):

Sumit Gulwani ◽

Ashish Tiwari

Keyword(s):

Linear Arithmetic

Download Full-text

Erratum to: Analyzing restricted fragments of the theory of linear arithmetic

Annals of Mathematics and Artificial Intelligence ◽

10.1007/s10472-017-9537-y ◽

2017 ◽

Vol 79 (4) ◽

pp. 371-392 ◽

Cited By ~ 1

Author(s):

Piotr Wojciechowski ◽

Pavlos Eirinakis ◽

K. Subramani

Keyword(s):

Linear Arithmetic

Download Full-text

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27864-1_24 ◽

2004 ◽

pp. 328-343 ◽

Cited By ~ 3

Author(s):

Sumit Gulwani ◽

George C. Necula

Keyword(s):

Linear Arithmetic ◽

Sensitive Analysis

Download Full-text

Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87531-4_31 ◽

2008 ◽

pp. 431-445

Author(s):

Jochen Eisinger

Keyword(s):

Upper Bounds ◽

Linear Arithmetic

Download Full-text

Tree Automata for Non-linear Arithmetic

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70590-1_20 ◽

2008 ◽

pp. 291-305 ◽

Cited By ~ 1

Author(s):

Naoki Kobayashi ◽

Hitoshi Ohsaki

Keyword(s):

Tree Automata ◽

Linear Arithmetic ◽

Non Linear

Download Full-text

New Uses of Linear Arithmetic in Automated Theorem Proving by Induction

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_2 ◽

1996 ◽

pp. 39-78

Author(s):

Deepak Kapur ◽

M. Subramaniam

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Linear Arithmetic

Download Full-text

On Solving Presburger and Linear Arithmetic with SAT

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_10 ◽

2002 ◽

pp. 160-170 ◽

Cited By ~ 22

Author(s):

Ofer Strichman

Keyword(s):

Linear Arithmetic

Download Full-text

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic

Automated Deduction – CADE-22 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02959-2_23 ◽

2009 ◽

pp. 294-305 ◽

Cited By ~ 13

Author(s):

Cristina Borralleras ◽

Salvador Lucas ◽

Rafael Navarro-Marset ◽

Enric Rodríguez-Carbonell ◽

Albert Rubio

Keyword(s):

Linear Arithmetic ◽

Linear Polynomial ◽

Non Linear

Download Full-text

A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic

Theory and Applications of Satisfiability Testing - Lecture Notes in Computer Science ◽

10.1007/11499107_18 ◽

2005 ◽

pp. 241-256 ◽

Cited By ~ 13

Author(s):

Hossein M. Sheini ◽

Karem A. Sakallah

Keyword(s):

Linear Arithmetic

Download Full-text

NACU: A Non-Linear Arithmetic Unit for Neural Networks

2020 57th ACM/IEEE Design Automation Conference (DAC) ◽

10.1109/dac18072.2020.9218549 ◽

2020 ◽

Author(s):

Guido Baccelli ◽

Dimitrios Stathis ◽

Ahmed Hemani ◽

Maurizio Martina

Keyword(s):

Neural Networks ◽

Arithmetic Unit ◽

Linear Arithmetic ◽

Non Linear

Download Full-text