25 citations
- Université Clermont AuvergneFR2 papers
- Université de LimogesFR2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- École Nationale Supérieure des Mines de NancyFR1 paper
- Institut Supérieur d’Informatique, de Modélisation et de leurs ApplicationsFR1 paper
- Laboratoire de Spectrométrie Ionique et MoléculaireFR1 paper
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR1 paper
- Laboratoire Interdisciplinaire Carnot de BourgogneFR1 paper
- Lyon 1 UniversitéFR1 paper
- Université de BourgogneFR1 paper
2 papers
cs.AI2017★ 2 cited
Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship
Jerry Lonlac, Engelbert Mephu Nguifo
Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learne…
cond-mat.mes-hall2009★ 25 cited
High order vibration modes of glass embedded AgAu nanoparticles
S. Adichtchev, S. Sirotkin, G. Bachelier +5
High resolution low frequency Raman scattering measurements from embedded AgAu nanoparticles unveil efficient scattering by harmonics of both the quadrupolar and the spherical mode…