Machine Learning

Problem characteristics to cliques

• Cliques classify problems
• Use ML to map problem characteristics to cliques
• Classifier explains type of problem in each clique
• Useful for examining heterogeneous SPCs

Results

• Done with C4.5, producing a decision tree
• Examined SAT_RFO_CNF, equality revealed again
• Nothing else startling, but another tool we can use