Articles in journal, book chapters
- Frédéric Lardeux and Eric Monfroy. Réduction et Encodage des Contraintes Ensemblistes en SAT. Douziemes Journees Francophones de Programmation par Contraintes, pp 153-162, 2016.
- Frédéric Lardeux and Eric Monfroy. From Declarative Set Constraint Models to ``Good'' SAT Instances, pages 76-87. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-13770-4. [WWW] [doi:10.1007/978-3-319-13770-4_8]
BACK TO INDEX