1. An interdisciplinary experimental evaluation on the disjunctive temporal problem

   • Matteo Zavatteri
   • Alice Raffaele
   • Romeo Rizzi

   Letter 01 February 2023 Pages: 1 - 12

   

2. The algebraic structure of the densification and the sparsification tasks for CSPs

   • Rustem Takhanov

   OriginalPaper 08 December 2022 Pages: 13 - 44

   

3. Towards better heuristics for solving bounded model checking problems

   • Anissa Kheireddine
   • Etienne Renault
   • Souheib Baarir

   OriginalPaper 27 December 2022 Pages: 45 - 66