{"id":"W2262254779","doi":"","title":"Modeling, Global Constraints, and Decomposition","year":2013,"lang":"en","type":"article","venue":"Symposium on Abstraction, Reformulation and Approximation","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Constraint programming; Computer science; Constraint (computer-aided design); Mathematical optimization; Decomposition; Constraint satisfaction problem; Solver; Theoretical computer science; Local consistency; Concurrent constraint logic programming; Combinatorial optimization; Constraint logic programming; Constraint satisfaction; Mathematics; Artificial intelligence; Algorithm; Programming language; Stochastic programming","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.0001612953,0.0001705546,0.000122654,0.0001244497,0.0002934969,0.0003981705,0.00007605788,0.0001185899,0.00006746987],"category_scores_gemma":[0.00001584661,0.0001576283,0.00003089867,0.0001906458,0.00005740197,0.001895077,0.00003059549,0.0001094952,0.00005487513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001142333,"about_ca_system_score_gemma":0.00002878372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006984662,"about_ca_topic_score_gemma":0.00001122395,"domain_scores_codex":[0.998866,0.00004223566,0.0003519589,0.0003698031,0.000201371,0.0001686362],"domain_scores_gemma":[0.9993474,0.00002429289,0.000135818,0.0001906792,0.0001714899,0.0001302542],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003031462,0.0001682324,0.003888276,0.00007610824,0.00003922942,9.251019e-7,0.0006781284,0.08703083,0.006296783,0.4451485,0.0001484569,0.4564942],"study_design_scores_gemma":[0.0004911028,0.00005380585,0.03773259,0.00002220815,0.000006392071,0.00006618529,0.00007910512,0.9519379,0.000268848,0.009074261,0.00007766865,0.0001899805],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2317941,0.00001211884,0.7566571,0.002918846,0.0002080296,0.0004774891,0.000003899549,0.0002636393,0.007664801],"genre_scores_gemma":[0.9821751,0.0000689544,0.01728592,0.000289693,0.00004307873,0.00003506007,0.00004735228,0.000006732408,0.00004813656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.864907,"threshold_uncertainty_score":0.6427894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009107650882841841,"score_gpt":0.2477117496452006,"score_spread":0.2386040987623588,"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."}}