Creignou, Nadia.
VIAF ID: 13537181 ( Personal )
Permalink: http://viaf.org/viaf/13537181
Preferred Forms
- 100 1 _ ‡a Creignou, Nadia
- 100 1 _ ‡a Creignou, Nadia
-
-
-
- 100 1 _ ‡a Creignou, Nadia
-
-
-
Works
Title | Sources |
---|---|
Algorithmes paramétrés pour des problèmes de satisfaction de contraintes presque traitables. | |
Belief change within fragments of propositional logic. | |
Changement de croyances dans des fragments de la logique propositionnelle | |
Complexité de problèmes de comptage, d’évaluation et de recherche de racines de polynômes. | |
Complexity classifications of Boolean constraint satisfaction problems | |
Complexity issues in counting, polynomial evaluation and zero finding | |
Complexity of constraints : an overview of current research themes | |
Complexy classifications for nonmonotonic reasoning and enumeration. | |
Contribution to the problem of semantic security of systems : model-based engineering approach. | |
Densité, VC-dimension et étiquetages de graphes | |
Density, VC-dimension, and graph labelings. | |
Médians de graphes : algorithmes, connexité et axiomatique | |
On dichotomy above Feder and Vardi's logic | |
On the dualization problem in graphs, hypergraphs, and lattices | |
Output-sensitive algorithms for enumeration problems in graphs | |
Raisonnement sur les grands flux de données : méthode de résolution de problèmes basée sur l'abstraction récursive TOM4A. | |
Reasoning about big data flows : TOM4A recursive abstraction based problem solving method | |
Simulation between natural computation models and automata network modularity. | |
Simulation entre modèles de calcul naturel et modularité des réseaux d'automates | |
Sur la dichotomie au-dessus de la logique de Feder et Vardi. | |
Sur le problème de dualisation dans les graphes, hypergraphes, et treillis. | |
TEMPS LINEAIRE ET PROBLEMES NP-COMPLETS | |
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings | |
The weak base method for constraint satisfaction. |