Publications

of Frédéric Lardeux

Articles in journal, book chapters

  1. 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.
  2. 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