{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001135594,0.001077979,0.0006174181,0.0007006834,0.0006514905,0.001531966,0.001632337,0.0006424705,0.008445475],"category_scores_gemma":[0.005336119,0.0005496767,0.001088799,0.001183172,0.001050619,0.00313249,0.001615841,0.002547033,0.0007553765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001024412,"about_ca_system_score_gemma":0.00112422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002529537,"about_ca_topic_score_gemma":0.003767917,"domain_scores_codex":[0.9988872,0.0003208885,0.00004559016,0.0002313856,0.0003088218,0.0002060952],"domain_scores_gemma":[0.9978886,0.001427289,0.0001848717,0.0002177403,0.0002142883,0.00006721989],"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.0002600127,0.0002339221,0.001749973,0.0007339783,0.0001144258,0.0002296638,0.0003038747,0.3666625,0.00707795,0.4406679,0.01753589,0.1644298],"study_design_scores_gemma":[0.00005428554,0.00008505559,0.0004772049,0.00005926064,0.00004460695,0.0001328202,0.0001037932,0.5971292,0.008548085,0.3772112,0.01613211,0.00002237723],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03243241,0.0003990018,0.9399842,0.0008351924,0.000047119,0.0001498658,0.0007586708,0.0004474446,0.02494595],"genre_scores_gemma":[0.3635646,0.000800575,0.6185206,0.0005818788,0.0001156381,0.000579437,0.002729424,0.0005329354,0.01257501],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008445475,"threshold_uncertainty_score":0.0282529,"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."}}