%0 Journal Article %1 journals/corr/abs-2311-14249 %A Wang, Zhonghan %A Zhan, Bohua %A Li, Bohan %A Cai, Shaowei %D 2023 %J CoRR %K dblp %T Efficient Local Search for Nonlinear Real Arithmetic. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-14249 %V abs/2311.14249

@article{journals/corr/abs-2311-14249, added-at = {2023-12-08T00:00:00.000+0100}, author = {Wang, Zhonghan and Zhan, Bohua and Li, Bohan and Cai, Shaowei}, biburl = {https://www.bibsonomy.org/bibtex/296bc7bdcd9f3dc9e01f171440d46f33c/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.14249}, interhash = {74fe7a43b1793cd15bc6d3714d42cdf9}, intrahash = {96bc7bdcd9f3dc9e01f171440d46f33c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:54:40.000+0200}, title = {Efficient Local Search for Nonlinear Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-14249}, volume = {abs/2311.14249}, year = 2023 }