Reflections on generating (disjunctive) cuts.

Florent Cadoux Claude Lemaréchal

Published in: EURO J. Comput. Optim. (2013)

Keyphrases

answer sets
digital libraries
real time
databases
search engine
wide range
expert systems
logic programming
disjunctive deductive databases