×

Descriptive complexity of list H-coloring problems in logspace: a refined dichotomy. (English) Zbl 1401.68104

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 487-498 (2015).

MSC:

68Q19 Descriptive complexity and finite models
68Q25 Analysis of algorithms and problem complexity
PDFBibTeX XMLCite
Full Text: DOI