Search results

Articles (3)

Journals (0)

1-3 of 3 results for Presburger arithmetic

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2006-8

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra

Journal on Satisfiability,Boolean Modelling and Computation

Free access

Research article

First published 2006-2

Anna Gambin, Sıawomir Lasota, Michaı Rutkowski

In Silico Biology

Retricted access

Research article

First published 2009-5

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae