Concepedia

Nadia Creignou

NC

23

Publications

917

Citations

17

H-Index

1993

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Aix-Marseille Université

Institut de Neurobiologie de la Méditerranée

Université de Caen Normandie

Laboratoire de Mathématiques d'Orsay

Nadia Creignou is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

1993–2019

23

Publications

23

Complexity of Generalized Satisfiability Counting Problems

Nadia Creignou, Miki Hermann · Information and Computation · 1996 · 178 citations

, , +5

A Dichotomy Theorem for Maximum Generalized Satisfiability Problems

Nadia Creignou · Journal of Computer and System Sciences · 1995 · 119 citations

, , +4

Satisfiability threshold for random XOR-CNF formulas

Nadia Creignou, Hervé Daudé · Discrete Applied Mathematics · 1999 · 78 citations

, , +5

On generating all solutions of generalized satisfiability problems

Nadia Creignou, Jean-Jacques Hébrard · RAIRO - Theoretical Informatics and Applications · 1997 · 69 citations · Full text

A Complete Classification of the Complexity of Propositional Abduction

Nadia Creignou, Bruno Zanuttini · SIAM Journal on Computing · 2006 · 49 citations

, , +13

Rows per page

1–5 of 23