466 citations
- Université Grenoble AlpesFR22 papers
- Institut national de recherche en sciences et technologies du numériqueFR20 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- Institut polytechnique de GrenobleFR4 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR3 papers
- Université Paris CitéFR3 papers
- École Normale Supérieure de LyonFR2 papers
- Laboratoire de l'Informatique du ParallélismeFR2 papers
- Technische Universität BraunschweigDE2 papers
- Translational Innovation in Medicine and ComplexityFR2 papers
- Universidad de MálagaES2 papers
- Université Joseph FourierFR2 papers
Showing cs.AIShow all
3 papers · 1 filter
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,…