An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables

What this record says

This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown

CATALOG · The abstract is indexed.