## Deciding Boolean Algebra with Presburger Arithmetic

### Cached

### Download Links

- [www.cag.lcs.mit.edu]
- [www.cag.csail.mit.edu]
- [lara.epfl.ch]
- [people.csail.mit.edu]
- [people.csail.mit.edu]
- [lara.epfl.ch]
- DBLP

### Other Repositories/Bibliography

by
Viktor Kuncak
,
Huu Hai Nguyen
,
Martin Rinard

Venue: | J. of Automated Reasoning |

Citations: | 34 - 26 self |