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