{"id":"W4405612061","doi":"10.1016/j.orl.2024.107235","title":"Extended formulations for the integer hull of strictly Δ-modular cographic polyhedral cones","year":2024,"lang":"en","type":"article","venue":"Operations Research Letters","topic":"Computational Geometry and Mesh Generation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Modular design; Integer (computer science); Hull; Integer programming; Combinatorics; Mathematics; Computer science; Mathematical optimization; Engineering; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.0007345119,0.001037974,0.0004992259,0.0003982007,0.000314518,0.001500191,0.001520755,0.0008340426,0.006461885],"category_scores_gemma":[0.001765953,0.0004499024,0.001073733,0.0005182155,0.0007965751,0.002338914,0.001264507,0.002160141,0.0006857962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009247618,"about_ca_system_score_gemma":0.0007152751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00120736,"about_ca_topic_score_gemma":0.002446566,"domain_scores_codex":[0.9995277,0.0001052571,0.00002698453,0.00009239834,0.0001658126,0.00008189428],"domain_scores_gemma":[0.9994301,0.0002361837,0.00007594037,0.0001027781,0.0001103789,0.0000447319],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008375457,0.00009981344,0.0003843671,0.0002113486,0.00002965199,0.0003112879,0.0002091215,0.3429599,0.005609695,0.6091939,0.004436424,0.03647079],"study_design_scores_gemma":[0.00004538532,0.0001037459,0.0001822343,0.00005503363,0.00001716653,0.000112029,0.0001191481,0.7539609,0.002120665,0.2294219,0.01383906,0.00002279485],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03146433,0.0002428923,0.9477655,0.0002912671,0.0000680375,0.0001271067,0.0004821038,0.0001357106,0.01942302],"genre_scores_gemma":[0.4239106,0.0005459459,0.554467,0.000337538,0.0001658244,0.000641443,0.001097732,0.000320229,0.01851371],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.006461885,"threshold_uncertainty_score":0.02161717,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06754138262976656,"score_gpt":0.3832531888124953,"score_spread":0.3157118061827288,"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."}}