{"id":"W2167525805","doi":"10.1007/s10107-010-0435-x","title":"Tightening simple mixed-integer sets with guaranteed bounds","year":2010,"lang":"en","type":"article","venue":"Mathematical Programming","topic":"Computational Geometry and Mesh Generation","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; McGill University","keywords":"Simple (philosophy); Mathematics; Integer (computer science); Integer programming; Numerical analysis; Mathematical optimization; Applied mathematics; Combinatorics; Computer science; Mathematical analysis","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007278307,0.002380196,0.002468552,0.001967261,0.001451274,0.00448824,0.004766903,0.002555276,0.01030474],"category_scores_gemma":[0.04808436,0.002780057,0.002589235,0.002337375,0.003786571,0.009757062,0.01182356,0.008473829,0.002164864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001725168,"about_ca_system_score_gemma":0.001531531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008641824,"about_ca_topic_score_gemma":0.001268598,"domain_scores_codex":[0.991726,0.003094672,0.0004090473,0.001224909,0.002875674,0.0006696816],"domain_scores_gemma":[0.97393,0.01964515,0.001149005,0.003560798,0.001149691,0.0005653537],"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.0004892693,0.0002104502,0.0007192739,0.0005108484,0.0001442218,0.0001197773,0.0003039246,0.2639614,0.002574869,0.6406272,0.007489836,0.08284894],"study_design_scores_gemma":[0.00003275399,0.0000506,0.00005996574,0.00006306011,0.00002468897,0.000038671,0.0000293068,0.430416,0.001341915,0.5654716,0.002456302,0.0000150913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01726525,0.0005427343,0.968803,0.0007218414,0.0002181728,0.00007792921,0.0001636078,0.00074822,0.01145912],"genre_scores_gemma":[0.3369276,0.0004993536,0.6500163,0.0008193675,0.0002884392,0.0004673444,0.0004907317,0.0009898409,0.009500987],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01030474,"threshold_uncertainty_score":0.03849185,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01092011953630913,"score_gpt":0.2520878898658764,"score_spread":0.2411677703295673,"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."}}