Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints.

Slim Abdennadher Christophe Rigotti

Published in: Int. J. Artif. Intell. Tools (2002)

Keyphrases

constraint solver
rule based systems
global constraints
expert systems
data driven
constraint programming
automatically generate
neural network
constraint problems
constraint solving
constrained optimization
quantified boolean formulas
mixed integer
real time
case based reasoning
search algorithm
databases