{"id":"https://openalex.org/W4320026922","doi":"https://doi.org/10.46298/lmcs-22(1:3)2026","title":"Hardness of monadic second-order formulae over succinct graphs","display_name":"Hardness of monadic second-order formulae over succinct graphs","publication_year":2026,"publication_date":"2026-01-06","ids":{"openalex":"https://openalex.org/W4320026922","doi":"https://doi.org/10.46298/lmcs-22(1:3)2026"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-22(1:3)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(1:3)2026","pdf_url":"https://lmcs.episciences.org/17241/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/17241/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040482831","display_name":"Guilhem Gamard","orcid":"https://orcid.org/0000-0002-3951-9649"},"institutions":[{"id":"https://openalex.org/I4210139347","display_name":"Future Earth","ror":"https://ror.org/04qbvap43","country_code":"CA","type":"facility","lineage":["https://openalex.org/I4210139347"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Guilhem Gamard","raw_affiliation_strings":["Designing the Future of Computational Models","MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Designing the Future of Computational Models","institution_ids":["https://openalex.org/I4210139347"]},{"raw_affiliation_string":"MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061819938","display_name":"Ali\u00e9nor Goubault\u2013Larrecq","orcid":null},"institutions":[{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ali\u00e9nor Goubault-Larrecq","raw_affiliation_strings":["LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I21491767"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038443903","display_name":"P. Guillon","orcid":"https://orcid.org/0000-0002-4665-6887"},"institutions":[{"id":"https://openalex.org/I4210116669","display_name":"Ch\u00e2teau Gombert","ror":"https://ror.org/02kspbq18","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210116669"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Guillon","raw_affiliation_strings":["I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)","institution_ids":["https://openalex.org/I4210116669","https://openalex.org/I4210160189","https://openalex.org/I4210138206"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034095493","display_name":"Pierre Ohlmann","orcid":"https://orcid.org/0000-0002-4685-5253"},"institutions":[{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Ohlmann","raw_affiliation_strings":["LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I21491767"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019284052","display_name":"K\u00e9vin Perrot","orcid":null},"institutions":[{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"K\u00e9vin Perrot","raw_affiliation_strings":["LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I21491767"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065504812","display_name":"Guillaume Theyssier","orcid":null},"institutions":[{"id":"https://openalex.org/I4210116669","display_name":"Ch\u00e2teau Gombert","ror":"https://ror.org/02kspbq18","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210116669"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Theyssier","raw_affiliation_strings":["I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)","institution_ids":["https://openalex.org/I4210116669","https://openalex.org/I4210160189","https://openalex.org/I4210138206"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01171945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 22, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11476","display_name":"Graph theory and applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11476","display_name":"Graph theory and applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.9990000128746033,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.7310636043548584},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5376917123794556},{"id":"https://openalex.org/keywords/adjacency-list","display_name":"Adjacency list","score":0.5362263321876526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5114966630935669},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5089249610900879},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.49047014117240906},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4902380108833313},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.48999181389808655},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4614744186401367},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.41331642866134644},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.38074883818626404},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.305871844291687},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.22381991147994995},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21443378925323486}],"concepts":[{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.7310636043548584},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5376917123794556},{"id":"https://openalex.org/C110484373","wikidata":"https://www.wikidata.org/wiki/Q264398","display_name":"Adjacency list","level":2,"score":0.5362263321876526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5114966630935669},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5089249610900879},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.49047014117240906},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4902380108833313},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.48999181389808655},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4614744186401367},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41331642866134644},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.38074883818626404},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.305871844291687},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.22381991147994995},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21443378925323486},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.46298/lmcs-22(1:3)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(1:3)2026","pdf_url":"https://lmcs.episciences.org/17241/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2302.04522","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2302.04522","pdf_url":"https://arxiv.org/pdf/2302.04522","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":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-03978957v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03978957","pdf_url":"https://hal.science/hal-03978957/document","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.science/hal-03978957","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2302.04522","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2302.04522","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-22(1:3)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(1:3)2026","pdf_url":"https://lmcs.episciences.org/17241/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7879990042","display_name":"General complexity bounds for finite dynamical systems","funder_award_id":"ANR-24-CE48-7504","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"},{"id":"https://openalex.org/F4320323942","display_name":"Campus France","ror":"https://ror.org/04wtce741"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4320026922.pdf","grobid_xml":"https://content.openalex.org/works/W4320026922.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W14067180","https://openalex.org/W190925786","https://openalex.org/W1489366126","https://openalex.org/W1556027180","https://openalex.org/W1971224531","https://openalex.org/W1982538209","https://openalex.org/W2007062164","https://openalex.org/W2028357390","https://openalex.org/W2046538693","https://openalex.org/W2050303734","https://openalex.org/W2062029454","https://openalex.org/W2065706312","https://openalex.org/W2065939997","https://openalex.org/W2082778556","https://openalex.org/W2087083200","https://openalex.org/W2116087731","https://openalex.org/W2122164576","https://openalex.org/W2419633893","https://openalex.org/W2574999163","https://openalex.org/W2736246298","https://openalex.org/W2997476337","https://openalex.org/W3136600805"],"related_works":["https://openalex.org/W4299559467","https://openalex.org/W2949617446","https://openalex.org/W4294299870","https://openalex.org/W2748664888","https://openalex.org/W1582492864","https://openalex.org/W4295887958","https://openalex.org/W2745231626","https://openalex.org/W2964174631","https://openalex.org/W1810116456","https://openalex.org/W4300619607"],"abstract_inverted_index":{"Our":[0],"main":[1],"result":[2],"is":[3,18,63],"a":[4,69],"succinct":[5,27],"counterpoint":[6],"to":[7],"Courcelle's":[8],"meta-theorem":[9],"as":[10],"follows:":[11],"every":[12],"cw-nontrivial":[13],"monadic":[14],"second-order":[15],"(MSO)":[16],"property":[17],"either":[19],"NP-hard":[20],"or":[21],"coNP-hard":[22],"over":[23],"graphs":[24],"given":[25],"by":[26],"representations.":[28],"Succint":[29],"representations":[30],"are":[31,40],"Boolean":[32],"circuits":[33],"computing":[34],"the":[35,60,73],"adjacency":[36],"relation.":[37],"Cw-nontrivial":[38],"properties":[39],"those":[41],"which":[42],"have":[43],"infinitely":[44,48],"many":[45,49],"models":[46],"and":[47,65],"countermodels":[50],"with":[51],"bounded":[52],"cliquewidth.":[53],"Moreover,":[54],"we":[55],"explore":[56],"what":[57],"happens":[58],"when":[59],"cw-nontriviality":[61],"condition":[62],"dropped":[64],"show":[66],"that,":[67],"under":[68],"reasonable":[70],"complexity":[71],"assumption,":[72],"previous":[74],"dichotomy":[75],"fails,":[76],"even":[77],"for":[78],"questions":[79],"expressible":[80],"in":[81],"first-order":[82],"logic.":[83]},"counts_by_year":[],"updated_date":"2026-06-16T09:24:06.705377","created_date":"2023-02-12T00:00:00"}