{"id":"W1963318846","doi":"10.1109/mwscas.1993.343096","title":"Odd-cycle inequalities, via minimization and LP-completeness","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Relaxation (psychology); Planar graph; Minification; Mathematics; Combinatorics; Time complexity; Graph; Running time; Discrete mathematics; Planar; Linear programming relaxation; Linear programming; Plane (geometry); Mathematical optimization; Computer science; 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.00003521883,0.00007800943,0.00008804577,0.00004871529,0.00002714701,0.00002375716,0.00004431334,0.0000481922,0.0004703687],"category_scores_gemma":[0.00000457733,0.00007441831,0.00001300906,0.0000714111,0.00001351992,0.0001065238,0.00001073159,0.00003894252,0.00002367051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001275393,"about_ca_system_score_gemma":6.901353e-7,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002165351,"about_ca_topic_score_gemma":0.000004715949,"domain_scores_codex":[0.9996292,0.000009701013,0.0001142925,0.00007802643,0.00005567676,0.0001131241],"domain_scores_gemma":[0.9998258,0.00002058432,0.000007968181,0.00009710064,0.00001245894,0.00003613231],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000106744,0.0001763301,0.00471571,0.0008110091,0.0001502514,0.00003615083,0.00501669,0.005200241,0.07098211,0.03009327,0.1226934,0.7601142],"study_design_scores_gemma":[0.0003561542,0.00005891666,0.001262763,0.00002675811,0.00001357333,0.00002428392,0.00009811392,0.9437728,0.02541004,0.003946413,0.02455995,0.0004702651],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06832794,0.001090406,0.852744,0.0001084724,0.0001477292,0.0002126737,0.000008638477,0.002303218,0.0750569],"genre_scores_gemma":[0.9939984,0.0001715876,0.00504266,0.00008163774,0.00004003049,0.00001200685,0.000005465021,0.00001859832,0.00062962],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9385725,"threshold_uncertainty_score":0.5150207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02110101842620817,"score_gpt":0.1913923561511974,"score_spread":0.1702913377249892,"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."}}