[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Satisfiability in multi-valued circuits
Idziak, Paweł M., Krzaczkowski, JacekYear:
2018
Language:
english
DOI:
10.1145/3209108.3209173
File:
PDF, 757 KB
english, 2018