%0 Conference Paper %1 conf/kbse/LiuLHHJZMZ23 %A Liu, Minghao %A Lv, Kunhang %A Huang, Pei %A Han, Rui %A Jia, Fuqi %A Zhang, Yu %A Ma, Feifei %A Zhang, Jian %B ASE %D 2023 %I IEEE %K dblp %P 2046-2049 %T NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. %U http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#LiuLHHJZMZ23 %@ 979-8-3503-2996-4

@inproceedings{conf/kbse/LiuLHHJZMZ23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Liu, Minghao and Lv, Kunhang and Huang, Pei and Han, Rui and Jia, Fuqi and Zhang, Yu and Ma, Feifei and Zhang, Jian}, biburl = {https://www.bibsonomy.org/bibtex/2946b2f64bda764e55fa620faa1bf344a/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2023}, ee = {https://doi.org/10.1109/ASE56229.2023.00013}, interhash = {9fb4ac48419d77e44fced1aa6fa917e6}, intrahash = {946b2f64bda764e55fa620faa1bf344a}, isbn = {979-8-3503-2996-4}, keywords = {dblp}, pages = {2046-2049}, publisher = {IEEE}, timestamp = {2024-04-09T23:52:01.000+0200}, title = {NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#LiuLHHJZMZ23}, year = 2023 }