Experiments with Two Row Tableau Cuts.

Santanu S. Dey Andrea Lodi Andrea Tramontani Laurence A. Wolsey

Published in: IPCO (2010)

Keyphrases

description logics
rows and columns
databases
three dimensional
automated theorem proving
real time
data sets
information retrieval
database systems