{"id":"https://openalex.org/W2346193990","doi":"https://doi.org/10.23638/dmtcs-21-4-9","title":"$(2/2/3)$-SAT problem and its applications in dominating set problems","display_name":"$(2/2/3)$-SAT problem and its applications in dominating set problems","publication_year":2019,"publication_date":"2019-08-12","ids":{"openalex":"https://openalex.org/W2346193990","doi":"https://doi.org/10.23638/dmtcs-21-4-9","mag":"2346193990"},"language":"en","primary_location":{"id":"doi:10.23638/dmtcs-21-4-9","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-9","pdf_url":"https://dmtcs.episciences.org/5678/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dmtcs.episciences.org/5678/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068460188","display_name":"Arash Ahadi","orcid":null},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Arash Ahadi","raw_affiliation_strings":["Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064297618","display_name":"Ali Dehghan","orcid":"https://orcid.org/0000-0002-1543-1124"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ali Dehghan","raw_affiliation_strings":["Systems and Computer Engineering Department, Carleton University, Ottawa, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems and Computer Engineering Department, Carleton University, Ottawa, Canada","institution_ids":["https://openalex.org/I67031392"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1776,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.47442443,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"vol. 21 no. 4","issue":"Graph Theory","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9556000232696533,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.954800009727478,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.533584713935852},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4689435660839081},{"id":"https://openalex.org/keywords/dominating-set","display_name":"Dominating set","score":0.41520678997039795},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36327293515205383},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25386250019073486},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24612489342689514},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.03851807117462158}],"concepts":[{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.533584713935852},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4689435660839081},{"id":"https://openalex.org/C146661039","wikidata":"https://www.wikidata.org/wiki/Q2915204","display_name":"Dominating set","level":4,"score":0.41520678997039795},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36327293515205383},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25386250019073486},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24612489342689514},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.03851807117462158},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/dmtcs-21-4-9","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-9","pdf_url":"https://dmtcs.episciences.org/5678/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1605.01319","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.01319","pdf_url":"https://arxiv.org/pdf/1605.01319","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:55ad49d0515947cfbb22118ca9577ceb","is_oa":true,"landing_page_url":"https://doaj.org/article/55ad49d0515947cfbb22118ca9577ceb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science, Vol vol. 21 no. 4, Iss Graph Theory (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/dmtcs-21-4-9","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-9","pdf_url":"https://dmtcs.episciences.org/5678/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2346193990.pdf","grobid_xml":"https://content.openalex.org/works/W2346193990.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W291499614","https://openalex.org/W1479863711","https://openalex.org/W1556223867","https://openalex.org/W1566493102","https://openalex.org/W1966769222","https://openalex.org/W1972243058","https://openalex.org/W1974811277","https://openalex.org/W1981171583","https://openalex.org/W1983259451","https://openalex.org/W1993409199","https://openalex.org/W1993454521","https://openalex.org/W2003979824","https://openalex.org/W2011039300","https://openalex.org/W2031725292","https://openalex.org/W2035825214","https://openalex.org/W2038606831","https://openalex.org/W2065657706","https://openalex.org/W2122406806","https://openalex.org/W2149951504","https://openalex.org/W2589022845","https://openalex.org/W2718014229","https://openalex.org/W2731070092","https://openalex.org/W2806544754","https://openalex.org/W2963667635","https://openalex.org/W3101915495"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"The":[0],"satisfiability":[1,93],"problem":[2,131,185,194],"is":[3,22,65,83,124,163,195,235,238],"known":[4],"to":[5,17,23,152],"be":[6,32],"$\\mathbf{NP}$-complete":[7],"in":[8,50,103,146],"general":[9],"and":[10,57,79,110,115,209,215],"for":[11,38,68,155,189,226],"many":[12],"restricted":[13],"cases.":[14],"One":[15],"way":[16],"restrict":[18],"instances":[19],"of":[20,27,41,94,183,213,219],"$k$-SAT":[21],"limit":[24],"the":[25,44,92,97,204,210],"number":[26],"times":[28,55,59,108,112],"a":[29,156,227],"variable":[30,48,101],"can":[31],"occurred.":[33],"It":[34],"was":[35,144],"shown":[36],"that":[37,46,71,90,99,169,173,188,225],"an":[39,66,134,164,181],"instance":[40],"4-SAT":[42],"with":[43,96,140],"property":[45,98],"every":[47,72,100,190],"appears":[49,102],"exactly":[51,75,104],"4":[52],"clauses":[53,106],"(2":[54],"negated":[56,109],"2":[58],"not":[60,113],"negated),":[61,114],"determining":[62],"whether":[63,154,233],"there":[64,162],"assignment":[67],"variables":[69,78,82,123],"such":[70,172],"clause":[73,117],"contains":[74,118],"two":[76,80,111,121],"true":[77],"false":[81],"$\\mathbf{NP}$-complete.":[84],"In":[85],"this":[86,130,193],"work,":[87],"we":[88,186,202,223],"show":[89,187],"deciding":[91,232],"3-SAT":[95],"four":[105],"(two":[107],"each":[116],"at":[119],"least":[120],"distinct":[122],"$":[125,161,174,196,239],"\\mathbf{NP}":[126,197,240],"$-complete.":[127,198,241],"We":[128],"call":[129],"$(2/2/3)$-SAT.":[132],"For":[133],"$r$-regular":[135],"graph":[136,230],"$G":[137],"=":[138],"(V,E)$":[139],"$r\\geq":[141,191],"3$,":[142,192],"it":[143],"asked":[145],"[Discrete":[147],"Appl.":[148],"Math.,":[149],"160(15):2142--2146,":[150],"2012]":[151],"determine":[153],"given":[157,228],"independent":[158,165],"set":[159,167],"$T":[160],"dominating":[166],"$D$":[168],"dominates":[170],"$T$":[171],"T":[175],"\\cap":[176],"D":[177],"=\\varnothing":[178],"$?":[179],"As":[180],"application":[182,218],"$(2/2/3)$-SAT":[184],"Among":[199],"other":[200],"results,":[201,222],"study":[203],"relationship":[205],"between":[206],"1-perfect":[207],"codes":[208],"incidence":[211],"coloring":[212],"graphs":[214],"as":[216],"another":[217],"our":[220],"complexity":[221],"prove":[224],"cubic":[229],"$G$":[231,234],"4-incidence":[236],"colorable":[237]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}