{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003057023,0.00009417045,0.0002547909,0.0002714029,0.0001624805,0.0003285493,0.000572775,0.00002954612,0.000001256079],"category_scores_gemma":[0.00004917032,0.00006414044,0.00005152387,0.0005681791,0.0003532491,0.001092123,0.0001389227,0.0001380761,0.000004226937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005330419,"about_ca_system_score_gemma":0.0002379166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008593792,"about_ca_topic_score_gemma":0.000001657515,"domain_scores_codex":[0.9982328,0.0003282391,0.0004042425,0.0001897323,0.0006555796,0.0001894481],"domain_scores_gemma":[0.9984971,0.00028436,0.0003422576,0.0001438439,0.0005032218,0.000229184],"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.00006076627,0.00004341809,0.04213519,0.00009447813,0.00008332607,0.000242974,0.004913696,0.001819724,0.0003482775,0.8159105,0.004062415,0.1302853],"study_design_scores_gemma":[0.005662269,0.008072563,0.09750626,0.001931601,0.00004495341,0.01205012,0.01513644,0.7383683,0.0014686,0.1139488,0.004587585,0.00122252],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1322112,0.0004220395,0.8642449,0.0006137053,0.0006317406,0.00009155038,8.531646e-7,0.00002914788,0.001754861],"genre_scores_gemma":[0.9204161,0.000008209918,0.07935771,0.00008837465,0.0001152864,6.251573e-7,3.961241e-8,0.000001907147,0.0000117534],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7882049,"threshold_uncertainty_score":0.3168208,"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."}}