BibTeX record conf/kbse/LiuLHHJZMZ23

• > Home > conf/kbse/LiuLHHJZMZ23

@inproceedings{DBLP:conf/kbse/LiuLHHJZMZ23,
  author       = {Minghao Liu and
                  Kunhang Lv and
                  Pei Huang and
                  Rui Han and
                  Fuqi Jia and
                  Yu Zhang and
                  Feifei Ma and
                  Jian Zhang},
  title        = {NRAgo: Solving {SMT(NRA)} Formulas with Gradient-Based Optimization},
  booktitle    = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2023, Luxembourg, September 11-15, 2023},
  pages        = {2046--2049},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ASE56229.2023.00013},
  doi          = {10.1109/ASE56229.2023.00013},
  timestamp    = {Thu, 01 May 2025 20:24:54 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LiuLHHJZMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}