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

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

2003-03-20

arxiv.org/abs/cs/0303019v1

Computer Science

Logic in Computer Science

20 pages, 6 figures

Scientific paper

This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt with by using finite automata on infinite words, but this involves some difficult and delicate to implement algorithms. The contribution of this paper is to show, using topological arguments, that only a restricted class of automata on infinite words are necessary for handling real and integer linear arithmetic. This allows the use of substantially simpler algorithms, which have been successfully implemented.

Affiliated with

Also associated with

No associations

Rating

An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-204450