{"id":"W1831107993","doi":"10.4230/lipics.cpm.2017.28","title":"A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem","year":2008,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Campus France; Natural Sciences and Engineering Research Council of Canada; Mitacs","keywords":"Answer set programming; Computer science; Set (abstract data type); Consistency (knowledge bases); Reduction (mathematics); Constraint (computer-aided design); Constraint programming; Theoretical computer science; Mathematics; Mathematical optimization; Artificial intelligence; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002293163,0.0008941052,0.0009247815,0.001261297,0.001244427,0.002666388,0.00228141,0.002401279,0.01180659],"category_scores_gemma":[0.0132916,0.0006541465,0.002035955,0.002191563,0.001858428,0.003726593,0.002671,0.003757266,0.001158886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00127771,"about_ca_system_score_gemma":0.002242816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002593709,"about_ca_topic_score_gemma":0.004503523,"domain_scores_codex":[0.9982744,0.000611866,0.0001030782,0.0003600274,0.000477713,0.0001729467],"domain_scores_gemma":[0.995811,0.003098689,0.0002103942,0.0002553117,0.0004792389,0.000145467],"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.0002207489,0.0002612506,0.0009717072,0.0008986141,0.0001240458,0.0006500665,0.0004777374,0.1331919,0.003777157,0.6799213,0.0228995,0.156606],"study_design_scores_gemma":[0.0001034225,0.00004888533,0.0001826702,0.00008484927,0.00004284622,0.0002819115,0.0001445092,0.2703639,0.00168036,0.7171206,0.00991824,0.00002771028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01572102,0.0004512475,0.9636493,0.004700735,0.0001714287,0.0001733725,0.0009097794,0.0005606137,0.01366243],"genre_scores_gemma":[0.1658616,0.0006317886,0.8247149,0.001212507,0.0002497049,0.0003894501,0.001745531,0.0002030204,0.004991464],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01180659,"threshold_uncertainty_score":0.03949696,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04495536179578725,"score_gpt":0.2560029167852465,"score_spread":0.2110475549894593,"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."}}