共 50 条
- [33] Proof Complexity of Symbolic QBF Reasoning THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 399 - 416
- [34] An approach to class reasoning in symbolic computation DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 240 - 251
- [35] Symbolic Graph Reasoning Meets Convolutions ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
- [36] Symbolic Computation in Automated Program Reasoning FORMAL METHODS, FM 2023, 2023, 14000 : 3 - 9
- [37] Symbolic Explanations of Generalized Fuzzy Reasoning SMART DIGITAL FUTURES 2014, 2014, 262 : 7 - 16
- [38] Symbolic Reasoning for Automatic Signal Placement Oper Syst Rev ACM, 2020, 1 (64-76): : 64 - 76
- [40] Evolutionary Deckbuilding in HearthStone 2016 IEEE CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND GAMES (CIG), 2016,