Eliminating Disjunctions by Disjunction Elimination.

Davide Rinaldi Peter Schuster Daniel Wessel

Published in: Bull. Symb. Log. (2017)

Keyphrases

search algorithm
averaged one dependence estimators
databases
neural network
information systems
image sequences
pairwise
relational databases
email
digital images
elimination algorithm