{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003127153,0.00169462,0.002176728,0.002215317,0.001991616,0.003202836,0.003189445,0.003178962,0.007389249],"category_scores_gemma":[0.008514535,0.001133436,0.004027016,0.005201397,0.003394811,0.005507981,0.004315776,0.007644351,0.001560823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003905469,"about_ca_system_score_gemma":0.001855072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005481057,"about_ca_topic_score_gemma":0.004709704,"domain_scores_codex":[0.9963583,0.001292854,0.0001993344,0.0009146175,0.0009069145,0.0003279612],"domain_scores_gemma":[0.9931116,0.005409725,0.0003057318,0.0005256902,0.0003879259,0.0002594057],"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.0003794587,0.0003620168,0.001778692,0.001739972,0.0001945147,0.0005534606,0.0007945524,0.1596971,0.004109261,0.6203821,0.03992432,0.1700846],"study_design_scores_gemma":[0.00007854225,0.00009978268,0.0006870522,0.0001797871,0.00007381831,0.0007090651,0.0001808667,0.2527109,0.002171934,0.7047832,0.03826358,0.00006139388],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03622705,0.0205112,0.860605,0.01625616,0.001689013,0.0004534846,0.001435362,0.001111247,0.06171145],"genre_scores_gemma":[0.3603339,0.01746641,0.5886456,0.005621917,0.003008415,0.0007051426,0.002346423,0.0006689663,0.02120326],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007389249,"threshold_uncertainty_score":0.02833635,"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."}}