{"id":"W6182124","doi":"10.1007/978-3-642-30353-1_19","title":"Predicting Good Propagation Methods for Constraint Satisfaction","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Constraint satisfaction problem; Oracle; Local consistency; Solver; Computer science; Constraint satisfaction; Limit (mathematics); A priori and a posteriori; Constraint (computer-aided design); Simple (philosophy); Mathematical optimization; Problem solver; Variety (cybernetics); Artificial intelligence; Machine learning; Mathematics","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.004618113,0.002161157,0.001387201,0.004168259,0.001078381,0.002076434,0.003134177,0.003198853,0.006846524],"category_scores_gemma":[0.02551448,0.00100768,0.001827414,0.003830998,0.001274792,0.003930842,0.001333221,0.004258876,0.002450966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001424464,"about_ca_system_score_gemma":0.001788386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00724767,"about_ca_topic_score_gemma":0.01501895,"domain_scores_codex":[0.9969674,0.0009937591,0.0001423016,0.0006618443,0.0009886264,0.0002461749],"domain_scores_gemma":[0.9709815,0.02295471,0.0008064552,0.001912121,0.002875056,0.0004702793],"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.0003620349,0.0004338014,0.008611652,0.0006502608,0.0002885445,0.000109477,0.0001235901,0.3902426,0.003388819,0.02382476,0.06757475,0.5043897],"study_design_scores_gemma":[0.00002252959,0.00003436198,0.0005479871,0.00004923286,0.00003003114,0.00003903758,0.00002149037,0.9757447,0.001328983,0.02038264,0.001784016,0.00001493122],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05031398,0.007046154,0.923322,0.002043616,0.0005585575,0.0003263871,0.002475567,0.004136601,0.009777198],"genre_scores_gemma":[0.245607,0.002394669,0.7359131,0.0005730517,0.0005454772,0.0003508217,0.005176217,0.001293218,0.008146448],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00724767,"threshold_uncertainty_score":0.02442318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02423200571321592,"score_gpt":0.2973156277035197,"score_spread":0.2730836219903038,"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."}}