%0 Journal Article %1 journals/corr/abs-1804-05025 %A Niemetz, Aina %A Preiner, Mathias %A Reynolds, Andrew %A Barrett, Clark W. %A Tinelli, Cesare %D 2018 %J CoRR %K dblp %T On Solving Quantified Bit-Vectors using Invertibility Conditions. %U http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-05025 %V abs/1804.05025

@article{journals/corr/abs-1804-05025, added-at = {2019-06-24T00:00:00.000+0200}, author = {Niemetz, Aina and Preiner, Mathias and Reynolds, Andrew and Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/240a7f30ed90c1f9534e43694b3b95304/dblp}, ee = {http://arxiv.org/abs/1804.05025}, interhash = {5ed96c9c050c2fcad78a6dbf43aaa156}, intrahash = {40a7f30ed90c1f9534e43694b3b95304}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:17:48.000+0200}, title = {On Solving Quantified Bit-Vectors using Invertibility Conditions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-05025}, volume = {abs/1804.05025}, year = 2018 }