{"id":"W4413983102","doi":"10.1287/ijoc.2024.0904","title":"A Logic-Based Benders Decomposition for the Car Resequencing Problem with a Painted Body Storage","year":2025,"lang":"en","type":"article","venue":"INFORMS journal on computing","topic":"Assembly Line Balancing Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Benders' decomposition; Computer science; Decomposition; Parallel computing; Mathematical optimization; Algorithm; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002029811,0.00220239,0.00144996,0.001218399,0.0009570176,0.002434674,0.001912203,0.001891787,0.0118137],"category_scores_gemma":[0.003328502,0.001420883,0.002991725,0.001439598,0.00116212,0.002545441,0.001659255,0.003443801,0.001323731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002985063,"about_ca_system_score_gemma":0.003521356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007656855,"about_ca_topic_score_gemma":0.008388481,"domain_scores_codex":[0.9985512,0.0004949011,0.00006652519,0.0003071743,0.0003244107,0.0002557705],"domain_scores_gemma":[0.9985394,0.0009933917,0.0001474925,0.00007357839,0.0001454035,0.000100655],"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.0001456002,0.0001688374,0.0003877407,0.0003653224,0.00004599805,0.0002137906,0.0001577506,0.9116663,0.004207113,0.04667225,0.002941251,0.03302809],"study_design_scores_gemma":[0.00006080321,0.0001387921,0.0001714663,0.00005254191,0.00004200515,0.00007944972,0.00008873549,0.9562469,0.001355101,0.03808255,0.003655607,0.00002602685],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01510244,0.0002723626,0.9743485,0.000441241,0.00005161821,0.0003733599,0.0003379199,0.000212118,0.008860505],"genre_scores_gemma":[0.151144,0.0007520266,0.8352845,0.0002922246,0.00009948227,0.0007516954,0.00104899,0.0002068644,0.01042012],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0118137,"threshold_uncertainty_score":0.03952074,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009369307637859793,"score_gpt":0.2594468975770485,"score_spread":0.2500775899391887,"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."}}