Yuhang Dong

3

Papers

0

Total Citations

Papers (3)

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic

Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning