%0 Conference Paper %1 conf/scsquare/NalbachKA19 %A Nalbach, Jasper %A Kremer, Gereon %A Ábrahám, Erika %B SC-square@SIAM AG %D 2019 %E Abbott, John %E Griggio, Alberto %I CEUR-WS.org %K dblp %T On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. %U http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#NalbachKA19 %V 2460

@inproceedings{conf/scsquare/NalbachKA19, added-at = {2024-10-11T00:00:00.000+0200}, author = {Nalbach, Jasper and Kremer, Gereon and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/277668ae91b5a1393f410d631cbce8ec3/dblp}, booktitle = {SC-square@SIAM AG}, crossref = {conf/scsquare/2019}, editor = {Abbott, John and Griggio, Alberto}, ee = {https://ceur-ws.org/Vol-2460/paper5.pdf}, interhash = {a012c471ab3ab9de6ffe87e8b2875359}, intrahash = {77668ae91b5a1393f410d631cbce8ec3}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-10-14T07:12:44.000+0200}, title = {On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#NalbachKA19}, volume = 2460, year = 2019 }