{"id":"W2963575846","doi":"10.5555/2627817.2627912","title":"Frozen variables in random boolean constraint satisfaction problems","year":2013,"lang":"en","type":"article","venue":"Symposium on Discrete Algorithms","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Constraint satisfaction problem; Constraint (computer-aided design); Heuristics; Cluster analysis; Constraint satisfaction; Local consistency; Mathematics; Random variable; Algorithm; Computer science; Hypergraph; Discrete mathematics; Mathematical optimization; Statistics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005492748,0.0003475457,0.000359574,0.0003272614,0.0001440852,0.0007539478,0.0009632724,0.0001090543,0.0001836291],"category_scores_gemma":[0.00002555008,0.000298143,0.0001084953,0.0005343602,0.0001004726,0.001980294,0.0003640744,0.0002884985,0.0006417702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001024453,"about_ca_system_score_gemma":0.00005561053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001309081,"about_ca_topic_score_gemma":0.00005399193,"domain_scores_codex":[0.9973421,0.0001511279,0.0005216721,0.000831308,0.0005141801,0.0006396628],"domain_scores_gemma":[0.998584,0.000125406,0.0001627553,0.0008897849,0.00006369951,0.0001743639],"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.00008485984,0.0007210276,0.009153967,0.0002719193,0.0004191007,0.0001863382,0.002743537,0.01028732,0.01444256,0.1532087,0.02579742,0.7826833],"study_design_scores_gemma":[0.007969729,0.0006149204,0.0233237,0.0003564257,0.00003921539,0.00002992623,0.0003229078,0.9297317,0.001364923,0.02168449,0.01296408,0.001598029],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01232809,0.0001788568,0.9213549,0.008655631,0.002345873,0.003256253,0.00007183638,0.0008717786,0.05093681],"genre_scores_gemma":[0.8645242,0.0004572991,0.1276204,0.00182534,0.0005761,0.0009281047,0.0002031875,0.00009903946,0.003766225],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9194443,"threshold_uncertainty_score":0.9999471,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01019987232403821,"score_gpt":0.2224017870505514,"score_spread":0.2122019147265132,"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."}}