{"id":"W2147148915","doi":"10.1613/jair.2490","title":"SATzilla: Portfolio-based Algorithm Selection for SAT","year":2008,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Research","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":835,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Solver; Portfolio; Scalability; Selection (genetic algorithm); Set (abstract data type); Class (philosophy); Local search (optimization); Algorithm; Mathematical optimization; Machine learning; Artificial intelligence; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008243506,0.002342821,0.00218039,0.003739722,0.00105517,0.002677919,0.003869922,0.002147947,0.009380968],"category_scores_gemma":[0.02380115,0.001282369,0.002298181,0.003378795,0.001128536,0.003167713,0.003297297,0.003185463,0.003970207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001931851,"about_ca_system_score_gemma":0.003688131,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001964646,"about_ca_topic_score_gemma":0.004253292,"domain_scores_codex":[0.9917258,0.004263974,0.0004296505,0.0009375994,0.00211051,0.0005324443],"domain_scores_gemma":[0.9887109,0.007056963,0.0006930759,0.002293707,0.0009198337,0.0003255747],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000592912,0.0005672815,0.006345519,0.0004394731,0.0004090352,0.0001438765,0.0001708842,0.3125704,0.003330608,0.02845646,0.05176182,0.5952117],"study_design_scores_gemma":[0.000188161,0.0001220994,0.0003966409,0.00002412886,0.00003629907,0.00007503811,0.00002333325,0.9705498,0.001741316,0.02159689,0.005230302,0.00001600797],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02139261,0.000907001,0.95072,0.0006951679,0.000195478,0.0007775427,0.0009518656,0.01583701,0.008523314],"genre_scores_gemma":[0.18787,0.0003715409,0.8007858,0.0005309802,0.0002047965,0.001414079,0.003272606,0.001965727,0.003584602],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009380968,"threshold_uncertainty_score":0.04359633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1824121673170033,"score_gpt":0.4086704943385303,"score_spread":0.226258327021527,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}