28 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Lyon 1 UniversitéFR5 papers
- Libera Università Internazionale degli Studi Sociali Guido CarliIT3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Données et algorithmes pour une ville intelligente et durableFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Sapienza University of RomeIT2 papers
- Université de Versailles Saint-Quentin-en-YvelinesFR2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- Google (United States)US1 paper
- King's College LondonGB1 paper
- Laboratoire de Biométrie et Biologie EvolutiveFR1 paper
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR1 paper
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2017★ 10 cited
Efficient enumeration of solutions produced by closure operations
Arnaud Mary, Yann Strozecki
In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the c…
cs.CC2015★ 10 cited
Efficient enumeration of solutions produced by closure operations
Arnaud Mary, Yann Strozecki
In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the c…