Creignou, Nadia

5 publications

AAAI 2023 Complexity of Reasoning with Cardinality Minimality Conditions Nadia Creignou, Frédéric Olive, Johannes Schmidt

JAIR 2018 Belief Update Within Propositional Fragments Nadia Creignou, Raïda Ktari, Odile Papini

IJCAI 2018 Belief Update in the Horn Fragment Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran

IJCAI 2013 Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? Nadia Creignou, Reinhard Pichler, Stefan Woltran

JAIR 2007 Phase Transition for Random Quantified XOR-Formulas Nadia Creignou, Hervé Daudé, Uwe Egly