ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
Efficient decision procedure for non-linear arithmetic constraints using CORDIC
10.1109/fmcad.2009.5351140
◽
2009
◽
Cited By ~ 11
Author(s):
Malay K. Ganai
◽
Franjo Ivancic
Keyword(s):
Decision Procedure
◽
Linear Arithmetic
◽
Non Linear
Download Full-text
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
10.1007/978-3-030-86205-3_12
◽
2021
◽
pp. 213-231
Author(s):
Filippo Bigarella
◽
Alessandro Cimatti
◽
Alberto Griggio
◽
Ahmed Irfan
◽
Martin Jonáš
◽
...
Keyword(s):
Linear Arithmetic
◽
Non Linear
Download Full-text
Implementation of an open core IEEE 754-based FPU with non-linear arithmetic support
2016 IEEE 36th Central American and Panama Convention (CONCAPAN XXXVI)
◽
10.1109/concapan.2016.7942354
◽
2016
◽
Cited By ~ 1
Author(s):
Adrian Cervantes
◽
Francis Lopez
◽
Jeffry Quiros
◽
Diego Rodriguez
◽
Carlos Salazar-Garcia
◽
...
Keyword(s):
Linear Arithmetic
◽
Non Linear
◽
Open Core
Download Full-text
Proof certificates and non-linear arithmetic constraints
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
◽
10.1109/ddecs.2011.5783131
◽
2011
◽
Cited By ~ 2
Author(s):
S. Kupferschmid
◽
B. Becker
◽
T. Teige
◽
M. Franzle
Keyword(s):
Linear Arithmetic
◽
Non Linear
Download Full-text
Solving non-linear arithmetic
ACM Communications in Computer Algebra
◽
10.1145/2429135.2429155
◽
2013
◽
Vol 46
(3/4)
◽
pp. 104-105
◽
Cited By ~ 6
Author(s):
Dejan Jovanović
◽
Leonardo de Moura
Keyword(s):
Linear Arithmetic
◽
Non Linear
Download Full-text
A Non-linear Arithmetic Procedure for Control-Command Software Verification
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-319-89963-3_8
◽
2018
◽
pp. 132-151
◽
Cited By ~ 1
Author(s):
Pierre Roux
◽
Mohamed Iguernlala
◽
Sylvain Conchon
Keyword(s):
Software Verification
◽
Linear Arithmetic
◽
Control Command
◽
Non Linear
Download Full-text
Verification of Non-linear Arithmetic Circuits using Functionally Reduced And-Inverter-Graph (FRAIG)
2020 Global Congress on Electrical Engineering (GC-ElecEng)
◽
10.23919/gc-eleceng48342.2020.9285982
◽
2020
◽
Author(s):
Sa'ed Abed
◽
Manayer AlMehteb
◽
Wathiq Mansoor
◽
Amjad Gawanmeh
Keyword(s):
Arithmetic Circuits
◽
Linear Arithmetic
◽
Non Linear
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close