Le Berre, Daniel

8 publications

IJCAI 2025 A SAT-Based Method for Counting All Singleton Attractors in Boolean Networks Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura

IJCAI 2020 On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

IJCAI 2018 Pseudo-Boolean Constraints from a Knowledge Representation Perspective Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

IJCAI 2017 A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

AAAI 2017 A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

AAAI 2005 Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis

IJCAI 2001 Weakening Conflicting Information for Iterated Revision and Knowledge Integration Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams

AAAI 1998 Logical Representation and Computation of Optimal Decisions in a Qualitative Setting Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin