{"id":"W2346193990","doi":"10.23638/dmtcs-21-4-9","title":"$(2/2/3)$-SAT problem and its applications in dominating set problems","year":2019,"lang":"en","type":"article","venue":"Discrete Mathematics & Theoretical Computer Science","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Set (abstract data type); Computer science; Dominating set; Mathematics; Programming language; Theoretical computer science; Graph","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.002616599,0.0002742602,0.0003555999,0.0004011763,0.0003039463,0.0005654591,0.00258863,0.00006831253,0.00002486],"category_scores_gemma":[0.0001026465,0.0002170168,0.00005802767,0.002024764,0.001196812,0.001079806,0.002074163,0.0003564865,0.0001159354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006014709,"about_ca_system_score_gemma":0.00008786718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.885719e-7,"about_ca_topic_score_gemma":7.696913e-7,"domain_scores_codex":[0.9966648,0.0001148886,0.0004969054,0.001004568,0.0008901228,0.0008287727],"domain_scores_gemma":[0.9974853,0.0008966275,0.0001383202,0.001000216,0.0001995392,0.000279971],"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.000001815525,0.00005494678,0.0001930999,0.0001631565,0.000003004207,0.00000243816,0.002613489,0.0002421138,0.001765122,0.9928181,8.64945e-7,0.002141912],"study_design_scores_gemma":[0.0001839122,0.00007035827,0.00007387391,0.0001153439,0.000001669463,0.00001710161,0.0000797637,0.4825661,0.0007199381,0.5159758,0.0000161668,0.0001799768],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08343504,0.00007210246,0.9096265,0.0003113732,0.00006281554,0.001434433,0.000003837034,0.0001398145,0.00491403],"genre_scores_gemma":[0.7200454,0.000006575814,0.2797558,0.000051886,0.00001522501,0.00008385394,0.000001497625,0.00001414046,0.00002564301],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6366104,"threshold_uncertainty_score":0.8849687,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01667766956551976,"score_gpt":0.2946617182649823,"score_spread":0.2779840486994626,"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."}}