Associative-Commutative Deduction with Constraints.

Laurent Vigneron

Published in: CADE (1994)

Keyphrases

case study
constrained optimization
databases
machine learning
bayesian networks
multiscale
objective function
data structure
higher order
markov random field
mixed integer
linear constraints
spreading activation