Peiyao Liu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Automated Deduction

Gpu Implementation

Top Venues

Knowl. Based Syst.

Comput. Phys. Commun.

Publications

Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu
A complementary ratio based clause selection method for contradiction separation dynamic deduction. Knowl. Based Syst. 284 (2024)
Peiyao Liu, Changsheng Huang, Zhaoli Guo
GPU implementation of the discrete unified gas kinetic scheme for low-speed isothermal flows. Comput. Phys. Commun. 294 (2024)
Jian Zhong, Peiyao Liu, Shuwei Chen
Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning. ISKE (2023)
Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. 261 (2023)
Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. 622 (2023)
Peiyao Liu, Chenxing Xie
Designing Between Virtuality and Reality: Improving Inclusiveness in Hybrid Spaces. SIGDOC (2023)
Tao Cai, Peiyao Liu, Dejiao Niu, Jiancong Shi, Lei Li
The Embedded IoT Time Series Database for Hybrid Solid-State Storage System. Sci. Program. 2021 (2021)
Xia Wang, Yang Xu, Peiyao Liu
Formal Modeling and Verification of Multi-agent System Based on Timed Automata. ISKE (2021)
Haoxin Zheng, Minghui Huang, Lihua Zhan, Peiyao Liu, Ziqing Zhu
Optimization and dynamic simulation of electric actuator transmission based on high precision ball screw. J. Intell. Fuzzy Syst. 40 (2) (2021)
Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng
Formalization and Verification of Cyclic Group. ISKE (2021)
Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao
Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE (2021)
Tao Cai, Jie Wang, Peiyao Liu, Dejiao Niu, Qingjian He, Jun Liang
The New Copy File Command Parser for NVM Devices. HPCC/SmartCity/DSS (2019)