Paper: Intermediate problems in modular circuits satisfiability (at LICS 2020)
Authors: Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski
Abstract
No Abstract Available
BibTeX
@InProceedings{IdziakKawalekKrzacz-Intermediateproblem, author = {Pawel M. Idziak and Piotr Kawalek and Jacek Krzaczkowski}, title = {Intermediate problems in modular circuits satisfiability}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {578--590}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }