Paper: Promises Make Finite (Constraint Satisfaction) Problems Infinitary (at LICS 2019)
Authors: Libor Barto
Abstract
No Abstract Available
BibTeX
@InProceedings{Barto-PromisesMakeFiniteC, author = {Libor Barto}, title = {Promises Make Finite (Constraint Satisfaction) Problems Infinitary}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--8}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }