{"id":"W2068133968","doi":"10.1007/s10107-006-0009-0","title":"Active-constraint variable ordering for faster feasibility of mixed integer linear programs","year":2006,"lang":"en","type":"article","venue":"Mathematical Programming","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":56,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University; Nortel (Canada)","funders":"","keywords":"Mathematics; Integer (computer science); Integer programming; Variable (mathematics); Constraint (computer-aided design); Linear programming; Mathematical optimization; Numerical analysis; Combinatorics; Discrete mathematics; Applied mathematics; Computer science; Mathematical analysis; Geometry","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001006602,0.0002740508,0.0005788704,0.0001113543,0.0001227527,0.00007034266,0.0002777682,0.0001598488,0.0001757349],"category_scores_gemma":[0.002031428,0.0002335526,0.0001886148,0.0004289681,0.0003126922,0.0002013527,0.0001458963,0.0002630383,0.00001209433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000116992,"about_ca_system_score_gemma":0.00007511998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000742199,"about_ca_topic_score_gemma":0.000006363201,"domain_scores_codex":[0.9974672,0.00007997391,0.0008903231,0.0004313203,0.0004797538,0.0006513847],"domain_scores_gemma":[0.9975967,0.001014704,0.0002665027,0.0004830195,0.0005166691,0.0001223388],"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.0003237754,0.006051296,0.0005668802,0.007083346,0.0002303924,0.0000095991,0.0009911726,0.001277151,0.001978174,0.6930682,0.0001346193,0.2882854],"study_design_scores_gemma":[0.002043607,0.000375162,0.00001700182,0.000468419,0.00009457608,0.00002584555,0.001027749,0.156991,0.006721255,0.8297562,0.001930078,0.0005491379],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0134672,0.00001240716,0.9815734,0.00007628508,0.00005071482,0.002704216,0.00001401188,0.0002252254,0.001876536],"genre_scores_gemma":[0.09557659,3.899252e-7,0.9031565,0.000004679875,0.00008118602,0.0004717448,0.0000270677,0.00007016152,0.0006117441],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2877363,"threshold_uncertainty_score":0.9523998,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08992158410743467,"score_gpt":0.371748535160172,"score_spread":0.2818269510527374,"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."}}