An interdisciplinary experimental evaluation on the disjunctive temporal problem Matteo ZavatteriAlice RaffaeleRomeo Rizzi Letter 01 February 2023 Pages: 1 - 12
The algebraic structure of the densification and the sparsification tasks for CSPs Rustem Takhanov OriginalPaper 08 December 2022 Pages: 13 - 44
Towards better heuristics for solving bounded model checking problems Anissa KheireddineEtienne RenaultSouheib Baarir OriginalPaper 27 December 2022 Pages: 45 - 66