共 50 条
- [31] Solution-Graphs of Boolean Formulas and Isomorphism THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 29 - 44
- [35] Gromov Hyperbolicity of Periodic Graphs Bulletin of the Malaysian Mathematical Sciences Society, 2016, 39 : 89 - 116
- [40] INVERSION OF TRACE FORMULAS FOR A STURM-LIOUVILLE OPERATOR JOURNAL OF COMPUTATIONAL MATHEMATICS, 2022, 40 (03): : 398 - 416