466 citations
- Université Grenoble AlpesFR26 papers
- Institut national de recherche en sciences et technologies du numériqueFR23 papers
- Centre National de la Recherche ScientifiqueFR14 papers
- Université Paris CitéFR6 papers
- Institut polytechnique de GrenobleFR5 papers
- Centre Inria de l'Université Grenoble AlpesFR3 papers
- École Normale Supérieure de LyonFR3 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR3 papers
- Université Joseph FourierFR3 papers
- University of OxfordGB3 papers
- Délégation Paris 7FR2 papers
- Laboratoire de l'Informatique du ParallélismeFR2 papers
Showing 2011 · cs.AIShow all
3 papers · 2 filters
cs.AI2011
Instantiation Schemes for Nested Theories
Mnacho Echenim, Nicolas Peltier
This paper investigates under which conditions instantiation-based proof procedures can be combined in a nested way, in order to mechanically construct new instantiation procedures…
cs.AI2011
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries
Thierry Boy de la Tour, Mnacho Echenim
Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usuall…
cs.AI2011★ 10 cited
MeLinDa: an interlinking framework for the web of data
François Scharffe, Jérôme Euzenat
The web of data consists of data published on the web in such a way that they can be interpreted and connected together. It is thus critical to establish links between these data,…