Lazy Clause Generation Reengineered.

Thibaut Feydy Peter J. Stuckey

Published in: CP (2009)

Keyphrases

relational databases
generation process
artificial intelligence
search engine
digital libraries
artificial neural networks
search space
special case
generation algorithm
generation method