Random Formulas Have Frozen Variables.

Dimitris Achlioptas Federico Ricci-Tersenghi

Published in: SIAM J. Comput. (2009)

Keyphrases

variable selection
real numbers
propositional formulas
relevant variables
data sets
learning algorithm
random variables
causal relationships
logical formulas
truth assignment
decision trees
case study
hidden variables
uniform distribution
uniformly distributed
sat problem