Search Sciweavers | Sciweavers

254 search results - page 8 / 51

» Linear Arithmetic with Stars

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure

13 years 11 months ago

Download www-verimag.imag.fr

We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...

David Monniaux

claim paper

Read More »

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

14 years 1 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

click to vote

CAV
2006
Springer

101views Hardware» more CAV 2006»

A Fast Linear-Arithmetic Solver for DPLL(T)

13 years 11 months ago

Download yices.csl.sri.com

Bruno Dutertre, Leonardo Mendonça de Moura

claim paper

Read More »

click to vote

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

13 years 11 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

click to vote

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers