Satisfiability in multi-valued circuits
Tytuł rozdziału:
Satisfiability in multi-valued circuits
Tytuł książki:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'18)
Wydawnictwo:
Association for Computing Machinery (ACM)
Rok:
2018
Strony:
550-558
Numer DOI:
10.1145/3209108.3209173
Link:
https://dl.acm.org/citation.cfm?doid=3209108.3209173
Mathscinet link:
https://mathscinet.ams.org/mathscinet/search/publdoc.html?pg1=INDI&s1=90685&sort=Newest&vfpref=html&r=1&mx-pid=3883762