{"id":"W2513208540","doi":"10.1155/2016/5017369","title":"Certificates of Optimality for Mixed Integer Linear Programming Using Generalized Subadditive Generator Functions","year":2016,"lang":"en","type":"article","venue":"Advances in Operations Research","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Subadditivity; Knapsack problem; Integer (computer science); Integer programming; Mathematics; Generator (circuit theory); Duality (order theory); Linear programming; Class (philosophy); Discrete mathematics; Mathematical optimization; Combinatorics; Computer science; Power (physics)","routes":{"ca_aff":true,"ca_fund":false,"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.006108857,0.001516315,0.001337417,0.001395482,0.0007317268,0.002997599,0.001316281,0.000956432,0.004408859],"category_scores_gemma":[0.01450846,0.0006634737,0.001704075,0.001308712,0.002713123,0.003884669,0.003012279,0.004646091,0.0007817518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001691354,"about_ca_system_score_gemma":0.001965861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004644102,"about_ca_topic_score_gemma":0.0004298874,"domain_scores_codex":[0.9973626,0.001345999,0.0001115177,0.0002447987,0.0006301493,0.0003050276],"domain_scores_gemma":[0.9940002,0.004083876,0.0004281925,0.0006382519,0.0005974441,0.0002519932],"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.0001186193,0.00007023518,0.0003834823,0.0001002586,0.00002136957,0.0001108407,0.0001411479,0.1721449,0.001854316,0.8000752,0.00141407,0.02356557],"study_design_scores_gemma":[0.00004700581,0.0001347773,0.0001312876,0.00005511387,0.00001450633,0.00007118063,0.0000372607,0.4666327,0.004068276,0.5258622,0.002917763,0.00002802031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04905515,0.0002634843,0.9371182,0.0004453102,0.00006818192,0.0001160999,0.0001275131,0.0003630224,0.01244301],"genre_scores_gemma":[0.7433782,0.0005938506,0.2482616,0.0002631421,0.0001107763,0.0004276528,0.0003704579,0.0003908839,0.00620344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006108857,"threshold_uncertainty_score":0.03230709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2457099591087016,"score_gpt":0.5069657763647945,"score_spread":0.2612558172560928,"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."}}