Using machine learning to make constraint solver implementation decisions

Lars Kotthoff Ian P. Gent Ian Miguel

Published in: CoRR (2010)

Keyphrases

machine learning
constraint solver
constraint solving
data mining
decision making
pattern recognition
decision makers
constraint satisfaction problems
constraint propagation
artificial intelligence
real numbers
relational databases
fuzzy sets
constraint satisfaction
linear constraints