- 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
2 papers
cs.CC2026
Hardness of monadic second-order formulae over succinct graphs
Guilhem Gamard, Aliénor Goubault-Larrecq, Pierre Guillon +3
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…
cs.HC2025
Conch: Competitive Debate Analysis via Visualizing Clash Points and Hierarchical Strategies
Qianhe Chen, Yong Wang, Yixin Yu +3
In-depth analysis of competitive debates is essential for participants to develop argumentative skills and refine strategies, and further improve their debating performance. Howeve…