Search results

Articles (5)

Journals (0)

1-5 of 5 results for linear integer arithmetic

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2012-2

A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic

Alberto Griggio

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-5

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Guy A. Narboni

The European Journal on Artificial Intelligence

Open access

Research article

First published 2025-11

Héctor Martínez, Sandra Catalán, Adrián Castelló [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2018-6-7

S. Barry Cooper, James Gay, Charles M. Harris [...]

Computability