432 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR17 papers
- Université d'ArtoisFR11 papers
- Centre de Recherche en InformatiqueFR4 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Laboratoire Traitement et Communication de l’InformationFR3 papers
- LamsadeFR3 papers
- Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et HumainesFR2 papers
- Télécom ParisFR2 papers
- Université de LilleFR2 papers
- Université Paris Dauphine-PSLFR2 papers
- University of BayreuthDE2 papers
Showing 2017Show all
2 papers · 1 filter
cs.DB2017★ 4 cited
Enumeration on Trees under Relabelings
Antoine Amarilli, Pierre Bourhis, Stefan Mengel
We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time…
cs.DS2017★ 22 cited
A Circuit-Based Approach to Efficient Enumeration
Antoine Amarilli, Pierre Bourhis, Louis Jachiet +1
We study the problem of enumerating the satisfying valuations of a circuit while bounding the delay, i.e., the time needed to compute each successive valuation. We focus on the cla…