Deciding Bit-Vector Formulas with mcSAT.

Aleksandar Zeljic Christoph M. Wintersteiger Philipp Rümmer

Published in: SAT (2016)

Keyphrases

bit vector
bit vectors
information retrieval
neural network
search engine
computer vision
computational complexity
np complete
situation calculus
mathematical formulas