Une autre règle de séparation pour des codages de CSP vers SAT

von Ostrowski, Richard
Veröffentlicht in JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019) (2019)

Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry

von Carissan, Yannick
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming

von Carissan, Yannick
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)