ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Spectral approach to verifying non-linear arithmetic circuits
Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19
◽
10.1145/3287624.3287662
◽
2019
◽
Cited By ~ 1
Author(s):
Cunxi Yu
◽
Tiankai Su
◽
Atif Yasin
◽
Maciej Ciesielski
Keyword(s):
Arithmetic Circuits
◽
Spectral Approach
◽
Linear Arithmetic
◽
Non Linear
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close