Xicheng Peng

Publication Activity (10 Years)

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

Top Topics

Greedy Heuristic

Packing Problem

Tabu Search Algorithm

Theorem Proving

Top Venues

J. Autom. Reason.

Comput. Oper. Res.

Comput. Ind. Eng.

Publications

Lei Li, Zongkai Yang, Mao Chen, Xicheng Peng, Jianwen Sun, Zhonghua Yan, Sannyuya Liu
Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. J. Autom. Reason. 68 (2) (2024)
Mao Chen, Yajing Yang, Zeyu Zeng, Xiangyang Tang, Xicheng Peng, Sannuya Liu
A filtered beam search based heuristic algorithm for packing unit circles into a circular container. Comput. Oper. Res. 166 (2024)
Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. J. Autom. Reason. 67 (4) (2023)
Chao Wu, Zeyu Zeng, Yajing Yang, Mao Chen, Xicheng Peng, Sannyuya Liu
Task-driven cleaning and pruning of noisy knowledge graph. Inf. Sci. 646 (2023)
Chao Wu, Sannyuya Liu, Zeyu Zeng, Mao Chen, Adi Alhudhaif, Xiangyang Tang, Fayadh Alenezi, Norah Alnaim, Xicheng Peng
Knowledge graph-based multi-context-aware recommendation algorithm. Inf. Sci. 595 (2022)
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen
Automated Discovery of Geometric Theorems Based on Vector Equations. J. Autom. Reason. 65 (6) (2021)
Mao Chen, Xiangyang Tang, Ting Song, Chao Wu, Sanya Liu, Xicheng Peng
A Tabu search algorithm with controlled randomization for constructing feasible university course timetables. Comput. Oper. Res. 123 (2020)
Jingzhong Zhang, Xicheng Peng, Mao Chen
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity. J. Syst. Sci. Complex. 32 (1) (2019)
Mao Chen, Chao Wu, Xiangyang Tang, Xicheng Peng, Zhizhong Zeng, Sanya Liu
An efficient deterministic heuristic algorithm for the rectangular packing problem. Comput. Ind. Eng. 137 (2019)
Tai Wang, Zhi Liu, Xiao-Xiao Wu, Yun Tang, Xicheng Peng, Sanya Liu
Characterizing Concept Conveying in Interactions between MOOC Students and Assistants. TALE (2018)
Ting Song, Sanya Liu, Xiangyang Tang, Xicheng Peng, Mao Chen
An iterated local search algorithm for the University Course Timetabling Problem. Appl. Soft Comput. 68 (2018)
Mao Chen, Xiangyang Tang, Ting Song, Zhizhong Zeng, Xicheng Peng, Sanya Liu
Greedy heuristic algorithm for packing equal circles into a circular container. Comput. Ind. Eng. 119 (2018)
Mao Chen, Guotao Hu, Chao Yu, Xicheng Peng
Design and Development of a Teaching System Based on Super Sketchpad. ISCID (2) (2009)