35 citations
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR4 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- Université de LorraineFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- MOCQUA: Modèles de calcul émergentsFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Atos (France)FR1 paper
- CentraleSupélecFR1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Château GombertFR1 paper
- École Nationale Supérieure des Mines de NancyFR1 paper
Showing 2023Show all
2 papers · 1 filter
quant-ph2023★ 3 cited
Small k-pairable states
Nathan Claudet, Mehdi Mhalla, Simon Perdrix
A -pairable -qubit state is a resource state that allows Local Operations and Classical Communication (LOCC) protocols to generate EPR-pairs among any -disjoint pairs of t…
cs.CC2023
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…