Propagation via lazy clause generation.

Olga Ohrimenko Peter J. Stuckey Michael Codish

Published in: Constraints An Int. J. (2009)

Keyphrases

search space
generation method
machine learning
probabilistic model
data sets
databases
neural network
artificial intelligence
feature selection
natural language
evolutionary algorithm
graphical models
constraint satisfaction
theorem prover
generation process