Audemard, Gilles, 1972-
VIAF ID: 197050274 ( Personal )
Permalink: http://viaf.org/viaf/197050274
Preferred Forms
- 100 1 _ ‡a Audemard, Gilles ‡d 1972-
- 100 1 _ ‡a Audemard, Gilles, ‡d 1972-
Works
Title | Sources |
---|---|
Graphes et contraintes | |
Graphs and constraints. | |
Inférence et certificats pour le problème de satisfiabilité maximum | |
Problème de caractérisation multiple : Application à la détection de souches bactériennes phytopathogènes | |
Reasoning and inference for (maximum) satisfiability : new insights | |
Résolution du problème SAT et génération de modèles finis en logique du premier ordre | |
SAT en Parallèle | |
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes | |
Solving the Boolean satisfiability problem using the parallel paradigm | |
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées | |
The substitutability and the tuples consistency for weighted constraint networks. |