{"id":"W44067585","doi":"10.1007/11564751_105","title":"From Linear Relaxations to Global Constraint Propagation","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Constraint (computer-aided design); Computer science; Integer (computer science); Variable (mathematics); Domain (mathematical analysis); Binary number; Linear programming; Local consistency; Binary constraint; Mathematical optimization; Integer programming; Algorithm; Constraint satisfaction; Mathematics; Artificial intelligence; Arithmetic; Geometry; Mathematical analysis; Programming language","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.001855044,0.001852955,0.00127415,0.001505732,0.0008831148,0.002431896,0.003019093,0.001476904,0.0210284],"category_scores_gemma":[0.007401115,0.001911385,0.001583138,0.004018308,0.002392008,0.006374077,0.00376239,0.006119828,0.003031741],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001244865,"about_ca_system_score_gemma":0.001001853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003632764,"about_ca_topic_score_gemma":0.004871322,"domain_scores_codex":[0.9987406,0.0005300025,0.00006454893,0.0002201574,0.0003509459,0.00009369806],"domain_scores_gemma":[0.9971469,0.002117254,0.0001209264,0.0003426902,0.0002245988,0.00004775801],"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.00007459502,0.00007013705,0.00008965618,0.0007174817,0.00007312104,0.00007795677,0.0002893663,0.1316496,0.0008201263,0.5718145,0.03082601,0.2634974],"study_design_scores_gemma":[0.00002433865,0.00001819956,0.00003907125,0.0001419958,0.00002815804,0.00003446816,0.00005701997,0.1557841,0.0007370137,0.8206351,0.02248456,0.00001598601],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001390566,0.001858155,0.9688568,0.0006425648,0.0001744166,0.00004816787,0.0001747025,0.0005564967,0.02629815],"genre_scores_gemma":[0.07529882,0.006410341,0.8799309,0.001003813,0.0004904083,0.0004007902,0.001170303,0.001421857,0.03387276],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0210284,"threshold_uncertainty_score":0.07034701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01390838729925822,"score_gpt":0.2522268032851565,"score_spread":0.2383184159858983,"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."}}