On the Classification of Industrial SAT Families
暂无分享,去创建一个
Maria Luisa Bonet | Carlos Ansótegui | Jesús Giráldez-Cru | Jordi Levy | C. Ansótegui | Jordi Levy | Jesús Giráldez-Cru
[1] John C. Platt,et al. Fast training of support vector machines using sequential minimal optimization, advances in kernel methods , 1999 .
[2] Pat Langley,et al. Estimating Continuous Distributions in Bayesian Classifiers , 1995, UAI.
[3] Mark E. J. Newman,et al. Power-Law Distributions in Empirical Data , 2007, SIAM Rev..
[4] Paul Erdös,et al. On random graphs, I , 1959 .
[5] John R. Rice,et al. The Algorithm Selection Problem , 1976, Adv. Comput..
[6] Kevin Leyton-Brown,et al. SATzilla: Portfolio-based Algorithm Selection for SAT , 2008, J. Artif. Intell. Res..
[7] Yuri Malitsky,et al. ISAC - Instance-Specific Algorithm Configuration , 2010, ECAI.
[8] Yong Wang,et al. Using Model Trees for Classification , 1998, Machine Learning.
[9] Aiko M. Hormann,et al. Programs for Machine Learning. Part I , 1962, Inf. Control..
[10] Ian H. Witten,et al. The WEKA data mining software: an update , 2009, SKDD.
[11] John G. Cleary,et al. K*: An Instance-based Learner Using and Entropic Distance Measure , 1995, ICML.
[12] Leo Breiman,et al. Random Forests , 2001, Machine Learning.
[13] Carlos Ansótegui,et al. The Community Structure of SAT Formulas , 2012, SAT.
[14] Maria Luisa Bonet,et al. On the Structure of Industrial SAT Instances , 2009, CP.
[15] David W. Aha,et al. Instance-Based Learning Algorithms , 1991, Machine Learning.
[16] S. Cessie,et al. Ridge Estimators in Logistic Regression , 1992 .
[17] Ulrik Brandes,et al. On Modularity Clustering , 2008, IEEE Transactions on Knowledge and Data Engineering.
[18] C. Sparrow. The Fractal Geometry of Nature , 1984 .
[19] M E J Newman,et al. Finding and evaluating community structure in networks. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.
[20] Jean-Loup Guillaume,et al. Fast unfolding of communities in large networks , 2008, 0803.0476.
[21] Maria Luisa Bonet,et al. The Fractal Dimension of SAT Formulas , 2013, IJCAR.
[22] William W. Cohen. Fast Effective Rule Induction , 1995, ICML.