Preferred Forms
-
- 100 1 _ ‡a Lecoutre, Christophe
-
- 100 1 _ ‡a Lecoutre, Christophe
- 100 1 _ ‡a Lecoutre, Christophe
-
Works
Title | Sources |
---|---|
Amélioration du passage à l’échelle et de la réutilisabilité des modèles de cryptanalyse différentielle à l'aide de la programmation par contraintes. | |
Cadre interactif de fouille de motifs avec prise en compte des préférences de l'utilisateur | |
Castor : a constraint-based SPARQL engine with active filter processing | |
Castor : un moteur SPARQL basé sur les contraintes avec exploitation actif de filtres. | |
Classes polynomiales pour CSP : de la théorie à la pratique | |
Constraint networks, 2009: | |
Constraints programming and theoretical chemistry : using CSP formalism to resolve problematics related to benzenoids. | |
Etude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial | |
Graphes et contraintes | |
Improving scalability and reusability of differential cryptanalysis models using constraint programming | |
Integration of CSP techniques to solve WCSP. | |
Interactive pattern mining framework with user preferences. | |
Interpretation abstraite en programmation logique avec contraintes | |
Model Sets Exploration. | |
NC. | |
On the use of graphs within constraint-programming. | |
Optimisation et validation de la charge utile d'un satellite de télécommunication | |
Parallelizations of constraint programming methods. | |
POSL un Langage orienté parallèle pour construire des solveurs de contraintes. | |
Programmation par contraintes et chimie théorique : utilisation du formalisme CSP pour résoudre des problématiques liées aux benzénoïdes | |
Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. | |
Study of constraint systems for qualitative reasoning. | |
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées | |
Tenter la simplicité en satisfaction de contraintes | |
Tractable classes of CSP : from theory to practice. |