Future Earth

researchers with a paper here

Kévin Perrot2 profiles2 · h 9
G. Theyssier1 · h 16
Guilhem Gamard1 · h 7
Guillaume Theyssier1
Pierre Guillon1 · h 12
Qianhe Chen1 · h 2
Ran Wang1 · h 1
Xiyuan Zhu1 · h 1
Xuerou Yu1 · h 1
Yixin Yu1 · h 1
Yong Wang1 · h 1

collaborating institutions

Aix-Marseille UniversitéFR1 paper
Centre National de la Recherche ScientifiqueFR1 paper
Château GombertFR1 paper
Huazhong University of Science and TechnologyCN1 paper
Institut de Mathématiques de MarseilleFR1 paper
Institut Polytechnique de BordeauxFR1 paper
Laboratoire d’Informatique et SystèmesFR1 paper
Nanyang Technological UniversitySG1 paper

Showing cs.CCShow all

1 paper · 1 filter

cs.CC2026

Hardness of monadic second-order formulae over succinct graphs

Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every cw-nontrivial monadic second-order (MSO) property is either NP-hard or coNP-hard over graph…