{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00067158,0.0001702808,0.0001701758,0.0002130183,0.0004521598,0.0001948006,0.0001883057,0.00006408129,0.000002049548],"category_scores_gemma":[0.00008998105,0.0001083396,0.00007470429,0.0003206152,0.00002036895,0.000176069,0.00001746414,0.0004112566,0.000001450628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004031878,"about_ca_system_score_gemma":0.0001258873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006919047,"about_ca_topic_score_gemma":0.000009884807,"domain_scores_codex":[0.9989946,0.00002114466,0.0003801145,0.0001032902,0.0001952479,0.000305632],"domain_scores_gemma":[0.999015,0.0004411147,0.0001488805,0.000143695,0.0002005969,0.0000507205],"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.00006422816,0.00000845871,0.0001763478,0.00006820998,0.00007274315,0.000006419169,0.000190718,0.9931211,0.0004028239,0.0006553635,0.0004009579,0.004832609],"study_design_scores_gemma":[0.000894815,0.0001725397,0.0004790333,0.0006108463,0.00002567667,0.00004428506,0.0002436992,0.9957643,0.0009311107,0.0001824555,0.0005096101,0.0001416192],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05352679,0.00005655535,0.9441208,0.0004192462,0.0002571041,0.0004085847,0.000001678733,0.0002121871,0.0009970227],"genre_scores_gemma":[0.9576536,0.000003566932,0.04168441,0.0004747202,0.0001256269,0.000009970937,0.000009882684,0.00002465483,0.00001352906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9041268,"threshold_uncertainty_score":0.4417962,"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."}}