Login / Signup
A Practical Approach to Satisability Modulo Linear Integer Arithmetic.
Alberto Griggio
Published in:
J. Satisf. Boolean Model. Comput. (2012)
Keyphrases
</>
integer arithmetic
euclidean distance transform
gray scale
temporal constraints