Sign in
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio
Thi Thieu Hoa Le
Roberto Sebastiani
Published in:
Log. Methods Comput. Sci. (2010)
Keyphrases
</>
integer arithmetic
image processing
multiresolution