个人简介
博士毕业于西南交通大学。长期从事形式化验证、自动定理证明等方面的研究。近年来在《Knowledge-Based Systems》、《Information Sciences》等多个期刊发表科研论文。 |
工作经历
2023.11-至今,西华大学计算机与软件工程学院,讲师 |
教育经历
研究方向
自动定理证明 形式化验证 |
学术成果
Liu P, Chen S, Liu J, et al. An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability[J]. Knowledge-Based Systems, 2023, 261: 110217. Liu P, Xu Y, Liu J, et al. Fully reusing clause deduction algorithm based on standard contradiction separation rule[J]. Information Sciences, 2023, 622: 337–356. |