@article{GanianRamanujanSzeider17a,
 author = {Robert Ganian and
M. S. Ramanujan and
Stefan Szeider},
 doi = {10.1145/3014587},
 institution = {Algorithms and Complexity Group, TU Wien},
 journal = {ACM Transactions on Algorithms},
 keywords = {xtract},
 number = {AC-TR-17-016},
 pages = {29:1--29:32},
 pdf = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-016.pdf},
 title = {Discovering Archipelagos of Tractability for Constraint
Satisfaction and Counting},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-016.pdf},
 volume = {13},
 year = {2017}
}