Propagation = Lazy Clause Generation.

Olga Ohrimenko Peter J. Stuckey Michael Codish

Published in: CP (2007)

Keyphrases

information systems
lazy learning
data sets
generation algorithm
neural network
machine learning
information retrieval
feature selection
web services
theorem prover
horn clauses