High-Level Constraints over Finite Domains.

M. Anton Ertl Andreas Krall

Published in: Constraint Processing, Selected Papers (1995)

Keyphrases

high level
low level
real world
constraint satisfaction
higher level
low level features
objective function
search algorithm
database systems
programming language
real time
semantic information
application domains
machine learning
finite number
constrained optimization
linear constraints
function symbols