{"id":"W2105084236","doi":"10.1109/icci.1992.227654","title":"Reduction of constraint networks based on local consistency","year":2003,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Constraint satisfaction problem; Consistency (knowledge bases); Constraint (computer-aided design); Local consistency; Constraint satisfaction; Reduction (mathematics); Class (philosophy); Computer science; Mathematical optimization; Theoretical computer science; Constraint programming; Artificial intelligence; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001740513,0.00006989649,0.00008765728,0.00008078732,0.00004959612,0.0000226169,0.00008458905,0.00004810617,0.0002951704],"category_scores_gemma":[0.0000334312,0.00006421056,0.00004475343,0.0002372466,0.0001322421,0.00009975051,0.000007299468,0.00006761828,0.000008145837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003073184,"about_ca_system_score_gemma":0.0001092134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007412182,"about_ca_topic_score_gemma":0.000003715492,"domain_scores_codex":[0.9993319,0.00006969392,0.0001872935,0.000175294,0.0001295351,0.0001062895],"domain_scores_gemma":[0.9995115,0.00005446975,0.00006633216,0.0002339233,0.00008185474,0.00005196234],"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.000003943788,0.00004731524,0.0002387783,0.000003485678,0.000004496971,0.000001301987,0.0000247208,0.2440845,0.00007901495,0.668973,0.0002411906,0.08629826],"study_design_scores_gemma":[0.0003631373,0.00008278294,0.0006208401,0.00001443756,0.000002819517,0.00002666244,0.00008151006,0.9949704,0.002731922,0.0006339144,0.0003715536,0.0001000622],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002130933,0.000006687664,0.9213933,0.0002785722,0.0003410462,0.00008268872,3.43353e-7,0.00007452282,0.07760977],"genre_scores_gemma":[0.939123,0.000003007969,0.06054419,0.0002268623,0.000006963022,0.000002575403,0.000001233302,0.000002519161,0.00008961967],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9389099,"threshold_uncertainty_score":0.3231909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01110240025926927,"score_gpt":0.2173966978123194,"score_spread":0.2062942975530501,"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."}}