%0 Conference Paper %1 conf/vmcai/LevatichBPS20 %A Levatich, Maxwell %A Bjørner, Nikolaj S. %A Piskac, Ruzica %A Shoham, Sharon %B VMCAI %D 2020 %E Beyer, Dirk %E Zufferey, Damien %I Springer %K dblp %P 360-378 %T Solving $LIA ^$ Using Approximations. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#LevatichBPS20 %V 11990 %@ 978-3-030-39322-9

@inproceedings{conf/vmcai/LevatichBPS20, added-at = {2022-04-14T00:00:00.000+0200}, author = {Levatich, Maxwell and Bjørner, Nikolaj S. and Piskac, Ruzica and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/29f9a4a2c82c45d6f27745540ad5b5f5b/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2020}, editor = {Beyer, Dirk and Zufferey, Damien}, ee = {https://doi.org/10.1007/978-3-030-39322-9_17}, interhash = {0cba647aadd644b34ce81a6ff0c392b6}, intrahash = {9f9a4a2c82c45d6f27745540ad5b5f5b}, isbn = {978-3-030-39322-9}, keywords = {dblp}, pages = {360-378}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:52:33.000+0200}, title = {Solving $\mathrm {LIA} ^\star $ Using Approximations.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#LevatichBPS20}, volume = 11990, year = 2020 }