Le papier suivant seront présentés à la 32ème conférence internationale sur les principes et les pratiques de la programmation par contraintes (CP'26) :

  • Utility-Peak Itemset Mining with Constraint Programming
    Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, Lakhdar Saïs

Les papiers suivants sera présenté à la 29ème conférence internationale sur la théorie et les applications du test de cohérence (SAT'26) :

  • decdnnf_rs: A framework for Querying d-DNNF
    Jean-Marie Lagniez, Emmanuel Lonca

  • A canonical generalization of OBDD*
    Florent Capelli, YooJung Choi, Stefan Mengel, Martín Muñoz, Guy Van den Broeck