Solving bitvectors with MCSAT: explanations from bits and pieces (long version).

Stéphane Graham-Lengrand Dejan Jovanovic Bruno Dutertre

Published in: CoRR (2020)

Keyphrases

computer vision
solving problems
image sequences
real time
real world
machine learning
jigsaw puzzle
decision making
case study
linear program
combinatorial optimization