Satisfiability in multi-valued circuits

Tytuł:
Satisfiability in multi-valued circuits
Czasopismo:
SIAM Journal on Computing
Rok:
2022

Strony:
337-378

Tom (seria wydawnicza):
51(3)

Numer DOI:
https://doi.org/10.1137/18M1220194

Link:
https://epubs.siam.org/doi/10.1137/18M1220194

Mathscinet link:
https://mathscinet.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=idziak&s5=&s6=&s7=&s8=All&sort=Newest&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&