Set Constraints are the Monadic Class

Leo Bachmair Harald Ganzinger Uwe Waldmann

Published in: LICS (1993)

Keyphrases

small number
lower and upper bounds
constraint language
data sets
knowledge base
image sequences
support vector
lower bound
probability distribution
constraint satisfaction
finite number
linear constraints
constraint sets