Intermediate problems in modular circuits satisfiability
Tytuł:
Intermediate problems in modular circuits satisfiability
Konferencja:
IEEE Symposium on Logic in Computer Science [LICS]
Rok:
2020
Strony:
578–590
Tom (seria wydawnicza):
Association for Computing Machinery (ACM)
Numer DOI:
https://doi.org/10.1145/3373718.3394780
Link:
https://dl.acm.org/doi/pdf/10.1145/3373718.3394780
Mathscinet link:
https://mathscinet.ams.org/mathscinet/article?mr=4171531
DBLP link:
https://dblp.uni-trier.de/pers/i/Idziak:Pawel_M=.html