{"id":"W1602309302","doi":"10.1016/j.jcss.2015.07.004","title":"Conservative constraint satisfaction re-revisited","year":2015,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Constraint satisfaction problem; Homomorphism; Mathematics; Constraint (computer-aided design); Variable (mathematics); Graph; Constraint satisfaction; Discrete mathematics; Conservative extension; Combinatorics; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.003800715,0.0008572756,0.001296466,0.001657612,0.002202573,0.003284942,0.003691425,0.00154442,0.02252334],"category_scores_gemma":[0.02538891,0.0009097955,0.001506078,0.002366327,0.002443965,0.004643465,0.005031636,0.006107216,0.001906769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001312514,"about_ca_system_score_gemma":0.003146824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004879605,"about_ca_topic_score_gemma":0.007844666,"domain_scores_codex":[0.9959578,0.001342036,0.0001851669,0.0005535604,0.001559173,0.0004022192],"domain_scores_gemma":[0.9814429,0.008651931,0.0005834979,0.005723878,0.003058693,0.0005391653],"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.0003181845,0.0001899131,0.001069569,0.0004905134,0.0001547292,0.001018697,0.001264066,0.02637041,0.005325905,0.7750489,0.02267033,0.1660788],"study_design_scores_gemma":[0.0001008109,0.0001044699,0.0006145031,0.0002234602,0.0001246388,0.0007850191,0.0009660339,0.1660942,0.006733038,0.7629081,0.06127989,0.00006567796],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03939664,0.0009254845,0.8682553,0.006672843,0.001461112,0.0002728621,0.0005404748,0.001510816,0.08096436],"genre_scores_gemma":[0.5483022,0.0008593655,0.3737974,0.002990522,0.0008136585,0.0002820753,0.001028347,0.001716409,0.07020993],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02252334,"threshold_uncertainty_score":0.07534808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06971659307546549,"score_gpt":0.3277397241282335,"score_spread":0.2580231310527681,"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."}}