Login / Signup
Jixun Yan
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Simulated Annealing
Partitioning Algorithm
Spatial Relationships
Times Faster
Top Venues
CSDM Asia / CSDM
</>
Publications
</>
Liping Zhu
,
Fangfang Wu
,
Pei Yang
,
Jixun Yan
,
Li Ma
Formal Modeling and Correctness Proof of Spatial Partition Algorithm.
CSDM Asia / CSDM
(2021)