Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting

Ganian, Robert; Ramanujan, M. S.; Szeider, Stefan

doi:10.1145/3014587

by Robert Ganian, M. S. Ramanujan, Stefan Szeider

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}
}