Debugging Unsatisfiable Constraint Models.

Kevin Leo Guido Tack

Published in: CPAIOR (2017)

Keyphrases

statistical models
learning algorithm
experimental data
database
real time
feature selection
search algorithm
relational databases
prior knowledge
model selection
computational models