Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting (bibtex)
by , ,
Reference:
Discovering Archipelagos of Tractability for Constraint Satisfaction and CountingRobert Ganian, M. S. Ramanujan, Stefan SzeiderProceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1670–1681, 2016.
Bibtex Entry:
@inproceedings{GanianRamanujanSzeider16,
author    = {Robert Ganian and M. S. Ramanujan and Stefan Szeider},
title     = {Discovering Archipelagos of Tractability for Constraint
Satisfaction and Counting},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2016, Arlington, VA, USA, January 10-12, 2016},
pages     = {1670--1681},
year      = {2016},
doi      = {10.1145/3014587},
url       = {https://arxiv.org/abs/1507.02479},
keywords  = {xtract}
}