%0 Journal Article %1 journals/iandc/GulwaniN05 %A Gulwani, Sumit %A Necula, George C. %D 2005 %J Inf. Comput. %K dblp %N 1-2 %P 107-131 %T A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. %U http://dblp.uni-trier.de/db/journals/iandc/iandc199.html#GulwaniN05 %V 199

@article{journals/iandc/GulwaniN05, added-at = {2021-02-12T00:00:00.000+0100}, author = {Gulwani, Sumit and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/2b5a6e6275515ea5cac3e4e307719553f/dblp}, ee = {https://doi.org/10.1016/j.ic.2004.10.006}, interhash = {cdb3a99a0f5b9eb4e9d58106358d06b4}, intrahash = {b5a6e6275515ea5cac3e4e307719553f}, journal = {Inf. Comput.}, keywords = {dblp}, number = {1-2}, pages = {107-131}, timestamp = {2024-04-09T06:09:12.000+0200}, title = {A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc199.html#GulwaniN05}, volume = 199, year = 2005 }