Intermediate problems in modular circuits satisfiability

Tytuł rozdziału:
Intermediate problems in modular circuits satisfiability
Tytuł książki:
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Wydawnictwo:
Association for Computing Machinery (ACM)
Rok:
2020

Strony:
578–590

Numer DOI:
https://doi.org/10.1145/3373718.3394780

Link:
https://dl.acm.org/doi/pdf/10.1145/3373718.3394780

DBLP link:
https://dblp.uni-trier.de/pers/i/Idziak:Pawel_M=.html