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