{"id":"W2110254595","doi":"10.1016/j.dam.2005.05.009","title":"Resolution complexity of random constraint satisfaction problems: Another half of the story","year":2005,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Mathematics; Constraint satisfaction problem; Resolution (logic); Constraint (computer-aided design); Constraint satisfaction; Combinatorics; Mathematical optimization; Statistics; Artificial intelligence; Computer science; Geometry; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003980842,0.0001215728,0.0002293692,0.00006428656,0.0001015863,0.00002123514,0.0002632459,0.00006286398,0.00006712222],"category_scores_gemma":[0.00003520436,0.0000908053,0.00008995958,0.000215321,0.0003722833,0.0001426638,0.00008384194,0.0001208657,0.000007264293],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000516024,"about_ca_system_score_gemma":0.00006084752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000164589,"about_ca_topic_score_gemma":0.00009657297,"domain_scores_codex":[0.9989156,0.00004940366,0.0004257616,0.0001674368,0.0003094965,0.0001323107],"domain_scores_gemma":[0.9988701,0.0001000308,0.000451951,0.0004713319,0.00007879915,0.00002783551],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001361338,0.00007866965,0.0001105845,0.0001583296,0.00003740772,6.639013e-8,0.003019954,0.009156034,0.01614202,0.9427826,0.0001694022,0.02833132],"study_design_scores_gemma":[0.00691588,0.0001060824,0.0185194,0.0004608549,0.0001477028,0.00004611095,0.001828384,0.7944045,0.06439094,0.1093264,0.002978164,0.0008755999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00826367,0.00002134241,0.9810605,0.0009935694,0.00007937803,0.000562454,0.00001017449,0.0000657868,0.008943113],"genre_scores_gemma":[0.8044226,0.000007532567,0.1954436,0.00005164341,0.00001477305,0.00001559634,0.000002079335,0.000007615228,0.00003461323],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8334562,"threshold_uncertainty_score":0.3702933,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02582388342619571,"score_gpt":0.2355482080666653,"score_spread":0.2097243246404696,"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."}}