Exotic Semi-Ring Constraints.

Michael Codish Yoav Fekete Carsten Fuhs Jürgen Giesl Johannes Waldmann

Published in: SMT@IJCAR (2012)

Keyphrases

computer vision
constraint solving
neural network
artificial intelligence
data structure
multi agent systems
lower bound
constraint programming