Avoidability of Formulas with Two Variables.

Pascal Ochem Matthieu Rosenfeld

Published in: DLT (2016)

Keyphrases

variable selection
propositional formulas
random variables
input variables
information retrieval
normal form
conditional probabilities
real numbers
finite sets
logical formulas