{"id":"W4309374308","doi":"10.1109/smc53654.2022.9945151","title":"Portfolio Selection for SAT Instances","year":2022,"lang":"en","type":"article","venue":"2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Portfolio; Solver; Context (archaeology); Cluster analysis; Complement (music); Mathematical optimization; Greedy algorithm; Set (abstract data type); Boolean satisfiability problem; Limit (mathematics); Selection (genetic algorithm); Theoretical computer science; Artificial intelligence; Mathematics; Algorithm","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.004496601,0.002320588,0.002577811,0.002903398,0.00091992,0.003081024,0.002673291,0.002515757,0.01449701],"category_scores_gemma":[0.01801267,0.001131807,0.002240883,0.003627591,0.001051998,0.002998831,0.002060733,0.002880096,0.002400948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002060625,"about_ca_system_score_gemma":0.002559584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001753098,"about_ca_topic_score_gemma":0.003096913,"domain_scores_codex":[0.9960093,0.001970323,0.0001814595,0.0006805796,0.0007822811,0.0003759234],"domain_scores_gemma":[0.9909745,0.006808922,0.0005029219,0.0006568412,0.000737871,0.000318937],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002811655,0.0002953474,0.003625893,0.0005131541,0.0002334394,0.0001941668,0.0001344636,0.6174015,0.001365774,0.06645235,0.02457149,0.2849313],"study_design_scores_gemma":[0.00005562913,0.00008971732,0.0003100957,0.00005629416,0.0000347557,0.00005691728,0.00003652944,0.9487478,0.0005458213,0.0463124,0.003742964,0.00001107568],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03157957,0.002688731,0.944536,0.0015546,0.000245079,0.000616051,0.001069203,0.002158938,0.01555191],"genre_scores_gemma":[0.4020709,0.001770557,0.5787535,0.001153899,0.0005074822,0.00141208,0.00448865,0.0007453862,0.009097443],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01449701,"threshold_uncertainty_score":0.04849732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04584683663469806,"score_gpt":0.2846385741773983,"score_spread":0.2387917375427002,"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."}}