Fuqi Jia

1
Papers
0
Total Citations

Papers (1)

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic

AAAI 2025
0
citations