2017-2020 刊物

• 2020
  • Gh. Ziat, A. Maréchal, M. Pelleau, A. Miné, Ch. Truchet : “Combination of Boxes and Polyhedra Abstractions for Constraint Solving”, Formal Methods. FM 2019 International Workshops, vol. 12233, Lecture Notes in Computer Science, Porto, Portugal, pp. 119-135, (Springer International Publishing), (ISBN: 978-3-030-54997-8) (2020)
• 2018
  • Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Finding solutions by finding inconsistencies”, Principles and Practice of Constraint Programming, vol. 11008, Lecture Notes in Computer Science, Lille, France, pp. 420-435, (Springer International Publishing), (ISBN: 978-3-319-98334-9) (2018)
• 2017
  • Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Améliorer la propagation : l’Importance d’être Inconsistant”, Treizièmes journées Francophones de Programmation par Contraintes, Montreuil sur Mer, France (2017)