Branching Rules for Satisfiability Analysed with Factor Analysis.
Richard J. WallaceStuart BainPublished in: Australian Conference on Artificial Intelligence (2007)
Keyphrases
- factor analysis
- component analysis
- independent component analysis
- discriminant analysis
- cluster analysis
- matrix factorization
- correspondence analysis
- association rules
- statistical tests
- latent factors
- automatic model selection
- statistical model
- statistical analysis
- text classification
- data mining
- real world
- databases
- data sets