## Deciding bit-vector arithmetic with abstraction (2007)

### Cached

### Download Links

- [web.comlab.ox.ac.uk]
- [www.kroening.com]
- [www.eecs.berkeley.edu]
- [www.eecs.berkeley.edu]
- [www-cad.eecs.berkeley.edu]
- [www.cs.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Randal E. Bryant
,
Daniel Kroening
,
Joël Ouaknine
,
Sanjit A. Seshia
,
Ofer Strichman
,
Bryan Brady

Venue: | IN PROC. TACAS 2007 |

Citations: | 43 - 16 self |