X. D. Zhang

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
Multi-target tracking based on two-layer reinforcement learning optimization Optimal Control Applications & Methods	2025-12-08	Paper
A fast local search algorithm for minimum sum coloring problem on massive graphs Computers & Operations Research	2025-05-26	Paper
Local Search For Satisfiability Modulo Integer Arithmetic Theories ACM Transactions on Computational Logic	2023-11-03	Paper
Local Search for SMT on Linear Integer Arithmetic	2022-12-07	Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases Journal of Artificial Intelligence Research	2022-08-30	Paper
Deep cooperation of CDCL and local search for SAT	2022-03-22	Paper
Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set Journal of Artificial Intelligence Research	2021-05-25	Paper
Effective elastoplastic behavior of ductile matrix composites containing randomly located aligned circular fibres International Journal of Solids and Structures	2001-08-30	Paper

Research outcomes over time

This page was built for person: X. D. Zhang