Article Dans Une Revue
SIAM Journal on Discrete Mathematics
Année : 2015
Florent Madelaine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01649793
Soumis le : lundi 27 novembre 2017-17:42:34
Dernière modification le : mercredi 20 mars 2024-16:20:04
Dates et versions
Identifiants
- HAL Id : hal-01649793 , version 1
- ARXIV : 1312.7605
- DOI : 10.1137/140981332
Citer
Barnaby Martin, Florent Madelaine, Juraj Stacho. Constraint Satisfaction with Counting Quantifiers. SIAM Journal on Discrete Mathematics, 2015, 29 (2), pp.1065 - 1113. ⟨10.1137/140981332⟩. ⟨hal-01649793⟩
Collections
155
Consultations
0
Téléchargements