Constraints An Int. J.

Keyphrases

Publications

volume 28, number 1, 2023

Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28 (1) (2023)
Rustem Takhanov
The algebraic structure of the densification and the sparsification tasks for CSPs. Constraints An Int. J. 28 (1) (2023)
Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi
An interdisciplinary experimental evaluation on the disjunctive temporal problem. Constraints An Int. J. 28 (1) (2023)

volume 28, number 2, 2023

volume 28, number 3, 2023

volume 28, number 4, 2023

volume 27, number 1-2, 2022

volume 27, number 3, 2022

volume 27, number 4, 2022

volume 26, number 1, 2021