{"id":"https://openalex.org/W2911711699","doi":"https://doi.org/10.1109/lics.2019.8785655","title":"Separation and covering for group based concatenation hierarchies","display_name":"Separation and covering for group based concatenation hierarchies","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2911711699","doi":"https://doi.org/10.1109/lics.2019.8785655","mag":"2911711699"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2019.8785655","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1902.04957","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063751766","display_name":"Thomas Place","orcid":"https://orcid.org/0009-0000-2840-9586"},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thomas Place","raw_affiliation_strings":["CNRS, Univ. Bordeaux, Talence, France","CNRS, Bordeaux INP, LaBRI, UMR 5800, Univ. Bordeaux, Talence, F-33400, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bordeaux, Talence, France","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS, Bordeaux INP, LaBRI, UMR 5800, Univ. Bordeaux, Talence, F-33400, France","institution_ids":["https://openalex.org/I4210142254","https://openalex.org/I4210160189","https://openalex.org/I15057530","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013125228","display_name":"Marc Zeitoun","orcid":"https://orcid.org/0000-0003-4101-8437"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Zeitoun","raw_affiliation_strings":["CNRS, Univ. Bordeaux, Talence, France","CNRS, Bordeaux INP, LaBRI, UMR 5800, Univ. Bordeaux, Talence, F-33400, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bordeaux, Talence, France","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS, Bordeaux INP, LaBRI, UMR 5800, Univ. Bordeaux, Talence, F-33400, France","institution_ids":["https://openalex.org/I4210142254","https://openalex.org/I4210160189","https://openalex.org/I15057530","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063751766"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210160189"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.03120154,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12029","display_name":"DNA and Biological Computing","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7727195024490356},{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.7570482492446899},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.7113127708435059},{"id":"https://openalex.org/keywords/alternation","display_name":"Alternation (linguistics)","score":0.6016486287117004},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.5403755903244019},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.5069985389709473},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.48004138469696045},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.46983808279037476},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4526316225528717},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.44527488946914673},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.4395342469215393},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.41847410798072815},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3518204689025879},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34404176473617554},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.24661237001419067},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20183539390563965},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.18515712022781372},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18282651901245117},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.11851733922958374}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7727195024490356},{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.7570482492446899},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7113127708435059},{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.6016486287117004},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.5403755903244019},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.5069985389709473},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.48004138469696045},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46983808279037476},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4526316225528717},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44527488946914673},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.4395342469215393},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.41847410798072815},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3518204689025879},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34404176473617554},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.24661237001419067},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20183539390563965},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.18515712022781372},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18282651901245117},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.11851733922958374},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/lics.2019.8785655","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1902.04957","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.04957","pdf_url":"https://arxiv.org/pdf/1902.04957","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":null},{"id":"mag:2911711699","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1902.04957","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02477390v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02477390","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019, BC, Canada. pp.1--13, &#x27E8;10.1109/LICS.2019.8785655&#x27E9;","raw_type":"Conference papers"},{"id":"doi:10.48550/arxiv.1902.04957","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1902.04957","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1902.04957","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.04957","pdf_url":"https://arxiv.org/pdf/1902.04957","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":null},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6399999856948853}],"awards":[{"id":"https://openalex.org/G794676242","display_name":null,"funder_award_id":"ANR-16-CE40-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2911711699.pdf","grobid_xml":"https://content.openalex.org/works/W2911711699.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W90483773","https://openalex.org/W174709787","https://openalex.org/W209374521","https://openalex.org/W587223573","https://openalex.org/W1508466008","https://openalex.org/W1556686430","https://openalex.org/W1560939112","https://openalex.org/W1576799344","https://openalex.org/W1577759395","https://openalex.org/W1966026343","https://openalex.org/W1992511274","https://openalex.org/W2013085432","https://openalex.org/W2019522567","https://openalex.org/W2032853624","https://openalex.org/W2039934838","https://openalex.org/W2040550990","https://openalex.org/W2046268252","https://openalex.org/W2065599266","https://openalex.org/W2076872551","https://openalex.org/W2078174437","https://openalex.org/W2085717272","https://openalex.org/W2102775730","https://openalex.org/W2116250539","https://openalex.org/W2126397088","https://openalex.org/W2162512015","https://openalex.org/W2167010548","https://openalex.org/W2222913098","https://openalex.org/W2241580460","https://openalex.org/W2253920855","https://openalex.org/W2566932703","https://openalex.org/W2607666415","https://openalex.org/W2624688418","https://openalex.org/W2656886257","https://openalex.org/W2810848820","https://openalex.org/W2963253644","https://openalex.org/W2963440540","https://openalex.org/W3100959266","https://openalex.org/W4205551952","https://openalex.org/W4246347020","https://openalex.org/W6691995824","https://openalex.org/W6739347396","https://openalex.org/W6741173937","https://openalex.org/W6745184454","https://openalex.org/W6756616485"],"related_works":["https://openalex.org/W2964382522","https://openalex.org/W2902612328","https://openalex.org/W2963253644","https://openalex.org/W108702441","https://openalex.org/W2988492552","https://openalex.org/W2253920855","https://openalex.org/W2244625598","https://openalex.org/W2951376183","https://openalex.org/W2963495202","https://openalex.org/W2158095302","https://openalex.org/W2092901979","https://openalex.org/W2952388772","https://openalex.org/W2951100677","https://openalex.org/W1492247246","https://openalex.org/W2117809804","https://openalex.org/W2964356798","https://openalex.org/W2116528419","https://openalex.org/W1889920293","https://openalex.org/W2056464771","https://openalex.org/W2949398671"],"abstract_inverted_index":{"Concatenation":[0,37],"hierarchies":[1,10,38,77,238],"are":[2,11,115,349],"natural":[3],"classifications":[4],"of":[5,25,43,70,88,127,209,263,274,286,293,354,364],"regular":[6,133],"languages.":[7,248,266,356],"All":[8],"such":[9,307],"built":[12],"through":[13],"the":[14,46,63,76,82,112,118,148,154,163,172,252,270,287,291,314,339,347,361],"same":[15],"construction":[16],"process:":[17],"one":[18,144,150,358],"starts":[19],"from":[20,153],"an":[21,52],"initial,":[22],"specific":[23,207],"class":[24,126],"languages":[26,128,134,288],"(the":[27],"basis)":[28],"and":[29,109,137,151,175,227,258,326],"builds":[30],"new":[31],"levels":[32,164,194,224,323,363],"using":[33,201],"two":[34,105,132],"generic":[35,203,300,370],"operations.":[36],"have":[39],"gathered":[40],"a":[41,68,125,142,166,197,202,206,213,299,331,369],"lot":[42],"interest":[44],"since":[45],"early":[47],"70s,":[48],"notably":[49],"thanks":[50],"to":[51,94,102],"alternate":[53],"logical":[54],"definition:":[55],"each":[56],"concatenation":[57,168],"hierarchy":[58,66,169,254,273,367],"can":[59],"be":[60],"defined":[61],"as":[62,135,320],"quantification":[64],"alternation":[65,272],"within":[67,165],"variant":[69],"first-order":[71,275],"logic":[72,276],"over":[73],"words":[74,294],"(while":[75],"differ":[78,84],"by":[79,85,256],"their":[80,86],"bases,":[81,242],"variants":[83],"set":[87],"available":[89],"predicates).":[90],"Our":[91,229],"goal":[92],"is":[93,101,121,160,170,187,220,232,251,269,311,318],"understand":[95],"these":[96],"hierarchies.":[97],"A":[98],"typical":[99],"approach":[100,204],"look":[103],"at":[104],"decision":[106],"problems:":[107],"membership":[108],"separation.":[110],"In":[111,182,216],"paper":[113],"we":[114,236,302],"interested":[116],"in":[117,145,178,346,368],"latter,":[119],"which":[120],"more":[122,332],"general.":[123],"For":[124],"C,":[129],"C-separation":[130],"takes":[131],"input":[136],"asks":[138],"whether":[139,158],"there":[140],"exists":[141],"third":[143],"C":[146],"including":[147],"first":[149],"disjoint":[152],"second":[155],"one.":[156],"Settling":[157],"separation":[159,219,310],"decidable":[161,222,312,319],"for":[162,192,205,223,305,313,322],"given":[167],"among":[171],"most":[173],"fundamental":[174],"challenging":[176],"questions":[177],"formal":[179],"language":[180],"theory.":[181],"all":[183,264,343],"prominent":[184,366],"cases,":[185],"it":[186,317],"open,":[188],"or":[189,352],"answered":[190],"positively":[191],"low":[193],"only.":[195],"Recently,":[196],"breakthrough":[198],"was":[199],"made":[200,353],"kind":[208],"hierarchies:":[210],"those":[211],"with":[212,239,277],"finite":[214,351],"basis.":[215],"this":[217],"case.":[218],"always":[221],"1/2.":[225],"1":[226,325],"3/2.":[228],"main":[230],"theorem":[231],"similar":[233],"but":[234,243],"independent:":[235],"consider":[237],"possibly":[240],"infinite":[241],"that":[244,289,304],"contain":[245],"only":[246],"group":[247,253,265,355],"An":[249],"example":[250,268],"introduced":[255],"Pin":[257],"Margolis:":[259],"its":[260,283],"basis":[261,284],"consists":[262,285],"Another":[267],"quantifier":[271],"modular":[278],"predicates":[279],"FO(":[280],"<;,":[281],"MOD):":[282],"count":[290],"length":[292],"modulo":[295],"some":[296],"number.":[297],"Using":[298],"approach,":[301],"show":[303],"any":[306,365],"hierarchy,":[308],"if":[309],"basis,":[315],"then":[316],"well":[321],"1/2,":[324],"3/2":[327],"(we":[328],"actually":[329],"solve":[330],"general":[333],"problem":[334],"called":[335],"covering).":[336],"This":[337],"complements":[338],"aforementioned":[340],"result":[341],"nicely:":[342],"bases":[344],"considered":[345],"literature":[348],"either":[350],"Thus,":[357],"may":[359],"handle":[360],"lower":[362],"way.":[371]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}