Congruence Closure with Integer Offsets.

Robert Nieuwenhuis Albert Oliveras

Published in: LPAR (2003)

Keyphrases

machine learning
socio technical
special case
integer valued
databases
real world
social networks
image segmentation
three dimensional
floating point
strictly convex