Frédéric Olive

21 papers A* 2A 1B 5C 1Journal 12
YearRankTypeTitle / Venue / Authors
2025 B conf
On the Enumeration of Signatures of XOR-CNF's.
WADS
Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin
2024 J jnl
On the enumeration of signatures of XOR-CNF's.
CoRR
Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin
2023 A* conf
Complexity of Reasoning with Cardinality Minimality Conditions.
AAAI
Nadia Creignou, Frédéric Olive, Johannes Schmidt
2023 J jnl
Complexity of Reasoning with Cardinality Minimality Conditions.
CoRR
Nadia Creignou, Frédéric Olive, Johannes Schmidt
2023 J jnl
Early prediction of in-hospital mortality utilizing multivariate predictive modelling of electronic medical records and socio-determinants of health of the first day of hospitalization.
BMC Medical Informatics Decis. Mak.
Daniel Stoessel, Rui Fa, Svetlana Artemova, Ursula von Schenck, Hadiseh Nowparast Rostami, Pierre-Ephrem Madiot, Caroline Landelle, Frédéric Olive, Alison Foote, Alexandre Moreau-Gaudry, Jean-Luc Bosson
2021 J jnl
Locally definable vertex set properties are efficiently enumerable.
Discret. Appl. Math.
Sarah Blind, Nadia Creignou, Frédéric Olive
2019 J jnl
Parameterised Enumeration for Modification Problems.
Algorithms
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
2017 A* conf
Definability by Horn Formulas and Linear Time on Cellular Automata.
ICALP
Nicolas Bacquey, Etienne Grandjean, Frédéric Olive
2016 J jnl
A logical approach to locality in pictures languages.
J. Comput. Syst. Sci.
Etienne Grandjean, Frédéric Olive
2015 C conf
Parameterized Enumeration for Modification Problems.
LATA
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
2013 J jnl
Parameterized Enumeration with Ordering.
CoRR
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
2012 J jnl
Descriptive complexity for pictures languages (extended abstract)
CoRR
Etienne Grandjean, Frédéric Olive, Gaétan Richard
2012 B conf
Descriptive complexity for pictures languages.
CSL
Etienne Grandjean, Frédéric Olive
2011 A conf
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight.
SAT
Nadia Creignou, Frédéric Olive, Johannes Schmidt
2008 J jnl
Computing the jth solution of a first-order query.
RAIRO Theor. Informatics Appl.
Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive
2006 B conf
First-Order Queries over One Unary Function.
CSL
Arnaud Durand, Frédéric Olive
2004 J jnl
Graph properties checkable in linear time in the number of vertices.
J. Comput. Syst. Sci.
Etienne Grandjean, Frédéric Olive
1998 J jnl
Monadic Logical Definability of Nondeterministic Linear Time.
Comput. Complex.
Etienne Grandjean, Frédéric Olive
1997 B conf
A Conjunctive Logical Characterization of Nondeterministic Linear Time.
CSL
Frédéric Olive
1997 J jnl
Rudimentary Languages and Second Order Logic.
Math. Log. Q.
Malika More, Frédéric Olive
1994 B conf
Monadic Logical Definability of NP-Complete Problems.
CSL
Etienne Grandjean, Frédéric Olive