{"id":"W2564265628","doi":"10.1017/s0269888916000254","title":"Logic-based Benders decomposition for planning and scheduling: a computational analysis","year":2016,"lang":"en","type":"article","venue":"The Knowledge Engineering Review","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Air Force Office of Scientific Research; National Science Foundation","keywords":"Benders' decomposition; Scheduling (production processes); Mathematical optimization; Computer science; Implementation; Constraint programming; Integer programming; Job shop scheduling; Theoretical computer science; Operations research; Mathematics; Programming language; Schedule; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002808105,0.0009360924,0.0007881915,0.001410148,0.0004692765,0.001638478,0.0009661839,0.0007582013,0.007457375],"category_scores_gemma":[0.005699802,0.0005855259,0.001325721,0.00245427,0.000736538,0.002022786,0.0008072578,0.002307818,0.0006860929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001936256,"about_ca_system_score_gemma":0.001941057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004081585,"about_ca_topic_score_gemma":0.005570482,"domain_scores_codex":[0.9989523,0.0004950074,0.00004454521,0.00008806814,0.000320727,0.0000994347],"domain_scores_gemma":[0.9962296,0.00309758,0.0001988915,0.0001464914,0.0002639545,0.0000634117],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009172718,0.0001153846,0.0007396567,0.0004482133,0.00007176297,0.00005387829,0.00006045648,0.7097368,0.001202966,0.1726084,0.005114719,0.109756],"study_design_scores_gemma":[0.00003045093,0.0000387329,0.0002145047,0.00007048161,0.00002521884,0.0000285035,0.00003086298,0.9071242,0.0004644583,0.08842125,0.003543693,0.000007750933],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01753541,0.002737294,0.9625165,0.001141825,0.00008160423,0.0001566629,0.0002230273,0.000202942,0.01540462],"genre_scores_gemma":[0.2046186,0.004962029,0.7836758,0.0004199843,0.0001979321,0.0003633507,0.0006034857,0.0001549936,0.005003881],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007457375,"threshold_uncertainty_score":0.0249474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02560682844979911,"score_gpt":0.3048572922159124,"score_spread":0.2792504637661133,"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."}}