Frédéric Olive
Author
Alternate names Frédéric Olive, F. Olive
Past institutions Aix-Marseille Université, Laboratoire d’Informatique et Systèmes, Centre National de la Recherche Scientifique, Laboratoire d’Informatique Fondamentale de Marseille, Université de Caen Normandie +1 more
ORCID: Yes
H-index: 8
I10-index: 8
Works count: 24
Citations count: 135
Graph properties checkable in linear time in the number of vertices
2004 · Étienne Grandjean, Frédéric Olive · Journal of Computer and System Sciences
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight
2011 · Nadia Creignou, Frédéric Olive, et al. · Lecture notes in computer science
Rudimentary Languages and Second‐Order Logic
1997 · Malika More, Frédéric Olive · Mathematical logic quarterly