#### DMCA

## An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic (2005)

### Cached

### Download Links

by
Viktor Kuncak
,
Huu Hai Nguyen
,
Martin Rinard

Venue: | In 20th International Conference on Automated Deduction, CADE-20 |

Citations: | 30 - 13 self |