{"id":"W1588928324","doi":"10.1007/3-540-44533-1_48","title":"Consistency in General CSPs","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina; National Research Council Canada","funders":"","keywords":"Consistency (knowledge bases); Pairwise comparison; Local consistency; Constraint satisfaction problem; Tuple; Computer science; Weak consistency; Consistency model; Sequential consistency; Strong consistency; Constraint satisfaction; Representation (politics); Constraint (computer-aided design); Binary number; Eventual consistency; Theoretical computer science; Causal consistency; Algorithm; Mathematics; Artificial intelligence; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003386151,0.0008524582,0.001741847,0.001984795,0.002124413,0.003994752,0.002465781,0.001469106,0.008522872],"category_scores_gemma":[0.009412581,0.001877831,0.001926367,0.005494473,0.004615026,0.01336704,0.003397936,0.006575615,0.001629825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002398311,"about_ca_system_score_gemma":0.001638105,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00197187,"about_ca_topic_score_gemma":0.001641672,"domain_scores_codex":[0.9964084,0.001034637,0.0002956326,0.0007348017,0.001271901,0.0002545697],"domain_scores_gemma":[0.9947376,0.002926074,0.000206133,0.001290213,0.0006862607,0.0001537661],"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.00002663283,0.00001719845,0.0001064592,0.0001512599,0.00001659104,0.00004491272,0.0001982512,0.003599786,0.0003926523,0.9698439,0.005039212,0.02056314],"study_design_scores_gemma":[0.000007529687,0.000004952171,0.00005641086,0.00001969493,0.000008628769,0.0000519595,0.00002775339,0.005038518,0.0002867915,0.9847091,0.009782001,0.000006634363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02423275,0.01003687,0.8034998,0.003751578,0.0007536287,0.0002008137,0.0008099232,0.000875694,0.1558391],"genre_scores_gemma":[0.5415367,0.0106543,0.3566757,0.00153143,0.001931605,0.0006946488,0.003558651,0.001368089,0.08204888],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008522872,"threshold_uncertainty_score":0.02851182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01304112160778441,"score_gpt":0.2299882166618353,"score_spread":0.2169470950540509,"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."}}