{"id":"W2045071513","doi":"10.1145/509907.509941","title":"Models and thresholds for random constraint satisfaction problems","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Satisfiability; Limiting; Constraint satisfaction problem; Class (philosophy); Constraint (computer-aided design); Constraint satisfaction; Mathematics; Computer science; Theoretical computer science; Mathematical optimization; Discrete mathematics; Statistics; Artificial intelligence; Probabilistic logic","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.003329951,0.0008832357,0.001604853,0.001582111,0.0008910829,0.003612447,0.002560358,0.002628743,0.005964557],"category_scores_gemma":[0.02159715,0.0007935991,0.001668541,0.00149272,0.002855875,0.006124551,0.002387267,0.003744601,0.0006394138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002419418,"about_ca_system_score_gemma":0.001013998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002159486,"about_ca_topic_score_gemma":0.001570823,"domain_scores_codex":[0.9961745,0.001170964,0.0002273647,0.0006420824,0.001164303,0.0006208432],"domain_scores_gemma":[0.9856336,0.009352142,0.001966627,0.001217058,0.000911192,0.0009193901],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000562715,0.00007113953,0.00101722,0.00008872375,0.00004101615,0.0001820238,0.0003455191,0.07910939,0.001635738,0.9101265,0.002297712,0.005028557],"study_design_scores_gemma":[0.0000388603,0.00004141129,0.0003210925,0.00002364315,0.00001387712,0.0001486656,0.00007534328,0.3191756,0.0003372757,0.677726,0.002068432,0.00002974443],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1168131,0.001357262,0.8539618,0.003536387,0.0001083279,0.0002690247,0.0006446618,0.0006994916,0.02260992],"genre_scores_gemma":[0.9267374,0.0009832891,0.06130086,0.0007665492,0.0002271129,0.0006029966,0.0005203839,0.0001586359,0.008702828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005964557,"threshold_uncertainty_score":0.01995337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03993014091947588,"score_gpt":0.2331580747989203,"score_spread":0.1932279338794444,"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."}}