%0 Journal Article %1 journals/corr/abs-2302-14038 %A Hester, John %A Hitaj, Briland %A Passmore, Grant O. %A Owre, Sam %A Shankar, Natarajan %A Yeh, Eric %D 2023 %J CoRR %K dblp %T Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. %U http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-14038 %V abs/2302.14038

@article{journals/corr/abs-2302-14038, added-at = {2023-06-09T00:00:00.000+0200}, author = {Hester, John and Hitaj, Briland and Passmore, Grant O. and Owre, Sam and Shankar, Natarajan and Yeh, Eric}, biburl = {https://www.bibsonomy.org/bibtex/21be4773519f0b11bc85497da96fc56c4/dblp}, ee = {https://doi.org/10.48550/arXiv.2302.14038}, interhash = {ed55a6370d4f5d0a8aa24b9dcc68af18}, intrahash = {1be4773519f0b11bc85497da96fc56c4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:46:26.000+0200}, title = {Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-14038}, volume = {abs/2302.14038}, year = 2023 }