Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic.

Alberto Griggio Thi Thieu Hoa Le Roberto Sebastiani

Published in: TACAS (2011)

Keyphrases

integer arithmetic
computer vision
multiscale
linear programming
computationally efficient
satisfiability problem