Symmetries and Lazy Clause Generation.

Geoffrey Chu Peter J. Stuckey Maria Garcia de la Banda Christopher Mears

Published in: IJCAI (2011)

Keyphrases

databases
search space
probabilistic model
global constraints
generation method
database
real time
neural network
computer vision
knowledge representation
inductive learning
generation algorithm
lazy learning