Mao Chen

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 16

Top Topics

Search Algorithm

Theorem Proving

Timetabling Problem

Greedy Heuristic

Top Venues

Comput. Oper. Res.

J. Autom. Reason.

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)
Yajing Yang, Zeyu Zeng, Shiyun Jiang, Mao Chen, Ruirui Shang
DEKGCI: A double-ended recommendation model for integrating knowledge graph and user-item interaction graph. J. Supercomput. 80 (16) (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)
Yajing Yang, Zeyu Zeng, Mao Chen, Ruirui Shang
DEKGCI: A double-sided recommendation model for integrating knowledge graph and user-item interaction graph. CoRR (2023)
Mao Chen, Chao Wu, Zongkai Yang, Sanya Liu, Zengzhao Chen, Xiuling He
A multi-strategy approach for the merging of multiple taxonomies. J. Inf. Sci. 48 (3) (2022)
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)
Ting Song, Mao Chen, Yulong Xu, Dong Wang, Xuekun Song, Xiangyang Tang
Competition-guided multi-neighborhood local search algorithm for the university course timetabling problem. Appl. Soft Comput. 110 (2021)
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)
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)
Zhizhong Zeng, Xinguo Yu, Mao Chen, Yuan-Yuan Liu
A memetic algorithm to pack unequal circles into a square. Comput. Oper. Res. 92 (2018)
Mao Chen, Chao Yu, Jiagang Ouyang
A Tabu Search Algorithm for the Protein Folding Problem. ISCID (1) (2009)
Mao Chen, Guotao Hu, Chao Yu, Xicheng Peng
Design and Development of a Teaching System Based on Super Sketchpad. ISCID (2) (2009)
Mao Chen, Wenqi Huang
A two-level search algorithm for 2D rectangular packing problem. Comput. Ind. Eng. 53 (1) (2007)
Wenqi Huang, Mao Chen
Note on: An improved algorithm for the packing of unequal circles within a larger containing circle. Comput. Ind. Eng. 50 (3) (2006)