On Solving Quantified Bit-Vectors using Invertibility Conditions.

Aina Niemetz Mathias Preiner Andrew Reynolds Clark W. Barrett Cesare Tinelli

Published in: CoRR (2018)

Keyphrases

bit vectors
sufficient conditions
bit vector
binary images
video sequences
object recognition