共 50 条
- [34] Multi-Valued Quantum Logic ISMVL 2006: 36th International Symposium on Multiple-Valued Logic, 2006, : 188 - 193
- [36] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558