{"id":"W6467814","doi":"10.1007/978-3-540-72792-7_13","title":"On Integer Programming and the Branch-Width of the Constraint Matrix","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Integer (computer science); Matroid; Combinatorics; Integer programming; Mathematics; Constant (computer programming); Constraint (computer-aided design); Matrix (chemical analysis); Integer matrix; Discrete mathematics; Algorithm; Computer science; Physics; Geometry; Symmetric matrix; Eigenvalues and eigenvectors; Chemistry","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.003372964,0.002652108,0.001598823,0.002040171,0.0009339484,0.003959311,0.00256858,0.00170139,0.01398129],"category_scores_gemma":[0.01384864,0.001566306,0.001218767,0.006956229,0.003649323,0.009646822,0.002315502,0.009646933,0.002533872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001838751,"about_ca_system_score_gemma":0.001167706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001867368,"about_ca_topic_score_gemma":0.001982379,"domain_scores_codex":[0.9982786,0.0007156812,0.00009870453,0.0002194103,0.0005209284,0.0001667181],"domain_scores_gemma":[0.9938807,0.004950345,0.0002893826,0.0004137308,0.0003322738,0.0001336108],"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.00007547071,0.00005923719,0.0001616599,0.0002006619,0.00002440604,0.00004376016,0.0001166007,0.04477518,0.001068894,0.8581349,0.008379344,0.08695983],"study_design_scores_gemma":[0.000009554827,0.0000132808,0.00006684057,0.00006103032,0.000009145896,0.00002911095,0.00002332926,0.0601874,0.0003324834,0.9345431,0.00471274,0.00001197496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007102468,0.006929855,0.9221718,0.002333886,0.0004659758,0.00005850448,0.0002715466,0.0002946978,0.06037129],"genre_scores_gemma":[0.2074086,0.01970408,0.738547,0.001389216,0.002211691,0.0004276934,0.0008792948,0.0009300857,0.02850232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01398129,"threshold_uncertainty_score":0.04677206,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01250998386695398,"score_gpt":0.2492199954398392,"score_spread":0.2367100115728852,"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."}}