共 50 条
- [36] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558
- [37] Multi-Valued Automata and Their Applications LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 179 - 194