# Presburger arithmetic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- LPAR
- 2010

Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for… (More)

Is this relevant?

2006

2006

- Journal of Automated Reasoning
- 2006

We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines Boolean algebras of sets of… (More)

Is this relevant?

2004

2004

- CAV
- 2004

ion-based Satisfiability Solving of Presburger Arithmetic Daniel Kroening, Joël Ouaknine Sanjit Seshia, Ofer Strichman

Is this relevant?

2004

2004

- Proceedings of the 19th Annual IEEE Symposium on…
- 2004

Automata provide an effective mechanization of decision procedures for Presburger arithmetic. However, only crude lower and upper… (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- CAV
- 1998

We consider automata with counters whose values are updated according to signals sent by the environment. A transition can be red… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- CAV
- 1997

We present a new symbolic model checker which conservatively evaluates safety and liveness properties on innnite-state programs… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- CAAP
- 1996

We show that the use of nite automata provides a decision procedure for Presburger Arithmetic with optimal worst case complexity.

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- SAS
- 1995

This paper introduces a finite-automata based representation of Presburger arithmetic definable sets of integer vectors. The… (More)

Is this relevant?

Highly Cited

1978

Highly Cited

1978

- STOC
- 1978

This paper concerns both the complexity aspects of PA and the pragmatics of improving algorithms for dealing with restricted… (More)

Is this relevant?

1973

1973

- STOC
- 1973

We consider the first-order theory whose language has as nonlogical symbols the constant symbols 0 and 1, the binary relation… (More)

Is this relevant?