Symmetry-Driven Decision Diagrams for Knowledge Compilation. - Anicet Bart; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (ECAI, 2014)

Verifying a Real-Time Language with Constraints. - Anicet Bart; Charlotte Truchet; Éric Monfroy (ICTAI, 2015)

An Improved CNF Encoding Scheme for Probabilistic Inference. - Anicet Bart; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (ECAI, 2016)

Reachability in Parametric Interval Markov Chains Using Constraints. - Anicet Bart; Benoît Delahaye; Didier Lime; Éric Monfroy; Charlotte Truchet (QEST, 2017)

A global constraint for over-approximation of real-time streams. - Anicet Bart; Charlotte Truchet; Éric Monfroy (Constraints An Int. J., 2017)

Constraint modelling and solving of some verification problems. (Modélisation et résolution par contraintes de problèmes de vérification). - Anicet Bart (2017)

Reachability in parametric Interval Markov Chains using constraints. - Anicet Bart; Benoît Delahaye; Paulin Fournier; Didier Lime; Éric Monfroy; Charlotte Truchet (Theor. Comput. Sci., 2018)