The following paper will be presented at the 32nd International Conference on Principles and Practice of Constraint Programming (CP'26):

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

The following papers will be presented at the 29th International Conference on Theory and Applications of Satisfiability Testing (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