Florent R. Madelaine, Barnaby Martin, Juraj Stacho. Constraint Satisfaction with Counting Quantifiers. In Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii, editors, Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings. Volume 7353 of Lecture Notes in Computer Science, pages 253-265, Springer, 2012. [doi]
@inproceedings{MadelaineMS12,
title = {Constraint Satisfaction with Counting Quantifiers},
author = {Florent R. Madelaine and Barnaby Martin and Juraj Stacho},
year = {2012},
doi = {10.1007/978-3-642-30642-6_24},
url = {http://dx.doi.org/10.1007/978-3-642-30642-6_24},
researchr = {https://researchr.org/publication/MadelaineMS12},
cites = {0},
citedby = {0},
pages = {253-265},
booktitle = {Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings},
editor = {Edward A. Hirsch and Juhani Karhumäki and Arto Lepistö and Michail Prilutskii},
volume = {7353},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-30641-9},
}