Article Dans Une Revue
ACM Transactions on Computational Logic
Année : 2023
Florent Madelaine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04097481
Soumis le : lundi 15 mai 2023-12:01:12
Dernière modification le : vendredi 27 décembre 2024-19:53:49
Dates et versions
Identifiants
- HAL Id : hal-04097481 , version 1
- ARXIV : 2106.13154
- DOI : 10.1145/3568397
Citer
Catarina Carvalho, Florent Madelaine, Barnaby Martin, Dmitriy Zhuk. The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. ACM Transactions on Computational Logic, 2023, 24 (1), pp.1-26. ⟨10.1145/3568397⟩. ⟨hal-04097481⟩
19
Consultations
0
Téléchargements