共 50 条
- [22] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558
- [24] Multi-Valued Automata and Their Applications LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 179 - 194
- [28] Multi-valued nanoelectronics with fullerenes 35th International Symposium on Multiple-Valued Logic, Proceedings, 2005, : 48 - 53
- [30] Multi-Valued Problem Solvers 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 263 - 268