Deciding Bit-Vector Arithmetic with Abstraction.

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

Published in: TACAS (2007)

Keyphrases

bit vector
high level
bit vectors
real time
neural network
video sequences
machine learning
website