{"id":"W2610996456","doi":"","title":"Resolution complexity of random constraints","year":2002,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Satisfiability; Computer science; Constraint satisfaction problem; Mathematical proof; Constraint satisfaction; Class (philosophy); Exponential function; Property (philosophy); Resolution (logic); Theoretical computer science; Algorithm; Constraint (computer-aided design); Domain (mathematical analysis); Mathematics; Artificial intelligence","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.007168321,0.0006888703,0.002567673,0.001952171,0.00323036,0.007755394,0.003242163,0.003918074,0.02213709],"category_scores_gemma":[0.09726202,0.001492829,0.002063213,0.002640187,0.004789293,0.01607521,0.005954898,0.006205251,0.001354316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002779791,"about_ca_system_score_gemma":0.002272283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00347059,"about_ca_topic_score_gemma":0.002653237,"domain_scores_codex":[0.9883007,0.005659226,0.0006008055,0.001630387,0.002744596,0.001064267],"domain_scores_gemma":[0.8991751,0.08647087,0.00245446,0.007913079,0.002649358,0.001337165],"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.00006824733,0.00003376092,0.0003884604,0.00009115881,0.00003712907,0.0001102971,0.0002557931,0.02218124,0.0001591668,0.9616711,0.00367594,0.01132787],"study_design_scores_gemma":[0.00001846728,0.000004273033,0.00007898304,0.0000145099,0.00001320823,0.00003672121,0.00007880404,0.06271442,0.0002016291,0.9351434,0.001686276,0.0000093811],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1224507,0.00170694,0.773913,0.01416386,0.0003419976,0.0001963556,0.001341191,0.0008664723,0.08501949],"genre_scores_gemma":[0.8892785,0.0007397855,0.09204777,0.0009959223,0.0003841688,0.0003084323,0.001237563,0.000562988,0.01444487],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02213709,"threshold_uncertainty_score":0.07405591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.130247461418742,"score_gpt":0.2525017930370602,"score_spread":0.1222543316183182,"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."}}