Chana-Cheng Ko

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Experimental Evaluation

Segmentation Algorithm

Randomly Generated

Top Venues

Publications

Chia-Chun Lin, Kit Seng Tam, Chana-Cheng Ko, Hsin-Ping Yen, Shenz-Hsiu Wei, Yung-Chih Chen, Chun-Yao Wang
A Dynamic Expansion Order Algorithm for the SAT-based Minimization. SoCC (2020)