{"id":"W4412548904","doi":"10.1016/j.cor.2025.107204","title":"Augmentation search for integer programming over a polyhedron","year":2025,"lang":"en","type":"article","venue":"Computers & Operations Research","topic":"Scheduling and Optimization Algorithms","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"HEC Montréal","keywords":"Polyhedron; Integer programming; Computer science; Integer (computer science); Mathematical optimization; Combinatorics; Mathematics; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005524112,0.00009154166,0.0000973166,0.0004746824,0.00037108,0.0003717064,0.0001955357,0.00006542267,0.00003524526],"category_scores_gemma":[0.00004632599,0.0000952581,0.00004306921,0.0007880257,0.00005657287,0.0001663786,0.00005813952,0.0002446039,0.0000256848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001818695,"about_ca_system_score_gemma":0.0001060539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004301534,"about_ca_topic_score_gemma":0.00002708018,"domain_scores_codex":[0.9989756,0.00006851536,0.0001892538,0.0002031648,0.0002379557,0.0003255303],"domain_scores_gemma":[0.9992278,0.0001714222,0.000003027302,0.0001998394,0.0003339373,0.0000639575],"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.00001067304,0.00004143007,0.00008534531,0.00006483324,0.00004602655,7.524133e-7,0.0006361956,0.9037544,0.0006195013,0.005073855,0.003497554,0.0861694],"study_design_scores_gemma":[0.0004724397,0.00003887517,0.0001292864,0.00005385,0.00000416322,6.840326e-7,0.0002951134,0.9922025,0.003532132,0.00003089674,0.003151816,0.00008826469],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02168146,0.0002057707,0.9753938,0.0006022507,0.000485676,0.0007380102,0.000006073243,0.0002241617,0.000662766],"genre_scores_gemma":[0.5365736,0.00005233936,0.4600157,0.0001253806,0.0002254209,0.0005656217,0.0001771018,0.00004100356,0.00222384],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5153781,"threshold_uncertainty_score":0.3884513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04432721795173738,"score_gpt":0.385158183903025,"score_spread":0.3408309659512876,"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."}}