Xicheng Peng

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Geometric interpretation and application of non-degenerate conditions in geometric theorem proving Journal of Automated Reasoning	2026-08-24	Paper
Filtered beam search algorithm for the two-dimensional rectangular packing problem International Transactions in Operational Research	2025-06-13	Paper
A filtered beam search based heuristic algorithm for packing unit circles into a circular container Computers & Operations Research	2024-07-08	Paper
Automated generation of geometry proof problems based on point geometry identity Journal of Automated Reasoning	2024-06-10	Paper
Self-evident automated geometric theorem proving based on complex number identity Journal of Automated Reasoning	2024-02-06	Paper
An identity method for proving geometry theorems based on Wu's method SCIENTIA SINICA Mathematica	2022-03-21	Paper
Automated discovery of geometric theorems based on vector equations Journal of Automated Reasoning	2021-11-23	Paper
A tabu search algorithm with controlled randomization for constructing feasible university course timetables Computers & Operations Research	2021-04-20	Paper
Self-evident automated proving based on point geometry from the perspective of Wu's method identity Journal of Systems Science and Complexity	2019-03-06	Paper

Research outcomes over time

This page was built for person: Xicheng Peng