Modelling for Lazy Clause Generation.

Olga Ohrimenko Peter J. Stuckey

Published in: CATS (2008)

Keyphrases

generation process
generation algorithm
databases
information systems
decision making
relational databases
search space
satisfiability testing