{"id":"W2147012241","doi":"10.1016/s0304-3975(01)00154-2","title":"Rigorous results for random (2+p)-SAT","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":83,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematics; Combinatorics; Random variable; Set (abstract data type); Order (exchange); Discrete mathematics; Statistics; Computer science","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.01696531,0.003548099,0.005039928,0.005773493,0.003707191,0.009318782,0.008497845,0.005176124,0.01856445],"category_scores_gemma":[0.07568291,0.003035038,0.00618188,0.006634406,0.0102271,0.02279756,0.009837535,0.0142493,0.002694862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006504861,"about_ca_system_score_gemma":0.004138731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002749557,"about_ca_topic_score_gemma":0.00349174,"domain_scores_codex":[0.9822827,0.007352474,0.0009067158,0.002781889,0.004964584,0.00171161],"domain_scores_gemma":[0.9202651,0.06267099,0.003106731,0.008023372,0.003794156,0.002139741],"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.0001348592,0.0001132232,0.000591401,0.0003342895,0.0001124859,0.00007676298,0.0001185701,0.02122524,0.0006215302,0.9593572,0.007586017,0.00972849],"study_design_scores_gemma":[0.00005395112,0.00003026646,0.0002477053,0.00004928602,0.00004193027,0.00006893974,0.00002577638,0.06377093,0.0002940527,0.9332407,0.00214599,0.00003046367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02901089,0.004605602,0.895347,0.008639239,0.0007777481,0.0002574941,0.001569448,0.001243001,0.05854959],"genre_scores_gemma":[0.6676254,0.00747767,0.2647198,0.007109929,0.004976833,0.001968028,0.004431999,0.00284077,0.03884954],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01856445,"threshold_uncertainty_score":0.08972222,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01110638169363145,"score_gpt":0.2534107792008292,"score_spread":0.2423043975071978,"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."}}