{"id":"W1979119667","doi":"10.1109/lics.2012.24","title":"Near Unanimity Constraints Have Bounded Pathwidth Duality","year":2012,"lang":"en","type":"article","venue":"","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; McMaster University","funders":"","keywords":"Nondeterministic algorithm; Unanimity; Bounded function; Conjecture; Constraint satisfaction problem; Mathematics; Duality (order theory); Discrete mathematics; Equivalence (formal languages); Backtracking; Combinatorics; Mathematical optimization","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.003291477,0.0007580073,0.001588608,0.001018499,0.001869835,0.005820558,0.003084342,0.002379413,0.005898415],"category_scores_gemma":[0.0190518,0.001325069,0.002518944,0.001969859,0.004311512,0.01686831,0.005612676,0.007654507,0.0007610738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001855197,"about_ca_system_score_gemma":0.001256705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001096698,"about_ca_topic_score_gemma":0.0009197868,"domain_scores_codex":[0.9933606,0.001695832,0.0003542414,0.001945085,0.001742593,0.0009015732],"domain_scores_gemma":[0.9739172,0.01953725,0.001698459,0.003265426,0.0007507965,0.0008308396],"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.0001880499,0.0001079582,0.001465745,0.0001443175,0.00004556105,0.0002192679,0.000620998,0.01557403,0.005028134,0.9587801,0.0008470391,0.01697877],"study_design_scores_gemma":[0.00002418975,0.00004711917,0.0002361691,0.00002012735,0.00003153753,0.0002652215,0.0001000927,0.02778109,0.004430796,0.9649705,0.002073098,0.00001993778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2755815,0.0005826129,0.6912001,0.002569995,0.00008936333,0.0001083386,0.0005241157,0.0007268046,0.02861715],"genre_scores_gemma":[0.8848715,0.0002978969,0.1085119,0.0006551447,0.0001405651,0.0002161258,0.0004529818,0.0002806784,0.004572951],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005898415,"threshold_uncertainty_score":0.01973218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04729336190534559,"score_gpt":0.3271589810276005,"score_spread":0.2798656191222549,"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."}}