Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT
暂无分享,去创建一个
[1] Kevin Leyton-Brown,et al. SATzilla: Portfolio-based Algorithm Selection for SAT , 2008, J. Artif. Intell. Res..
[2] Leo Breiman,et al. Random Forests , 2001, Machine Learning.
[3] Michail G. Lagoudakis,et al. Learning to Select Branching Rules in the DPLL Procedure for Satisfiability , 2001, Electron. Notes Discret. Math..
[4] Kevin Leyton-Brown,et al. : The Design and Analysis of an Algorithm Portfolio for SAT , 2007, CP.
[5] Toby Walsh,et al. Restart Strategy Selection Using Machine Learning Techniques , 2009, SAT.
[6] Gérard Biau,et al. Analysis of a Random Forests Model , 2010, J. Mach. Learn. Res..
[7] Kevin Leyton-Brown,et al. Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms , 2006, CP.
[8] Yoav Shoham,et al. Understanding Random SAT: Beyond the Clauses-to-Variables Ratio , 2004, CP.
[9] Kevin Leyton-Brown,et al. SATzilla2009: an Automatic Algorithm Portfolio for SAT , 2008 .
[10] Martin Rinard,et al. AvatarSAT: An Auto-tuning Boolean SAT Solver , 2009 .