%0 Journal Article %1 journals/amai/WojciechowskiES17 %A Wojciechowski, Piotr %A Eirinakis, Pavlos %A Subramani, K. %D 2017 %J Ann. Math. Artif. Intell. %K dblp %N 1-3 %P 245-266 %T Analyzing restricted fragments of the theory of linear arithmetic. %U http://dblp.uni-trier.de/db/journals/amai/amai79.html#WojciechowskiES17 %V 79

@article{journals/amai/WojciechowskiES17, added-at = {2024-02-09T00:00:00.000+0100}, author = {Wojciechowski, Piotr and Eirinakis, Pavlos and Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/2a0138ebc9cd871158e610e05823edcc7/dblp}, ee = {https://doi.org/10.1007/s10472-016-9525-7}, interhash = {6a8286cdeee74768e060b6b435a0d233}, intrahash = {a0138ebc9cd871158e610e05823edcc7}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {245-266}, timestamp = {2024-04-08T16:48:53.000+0200}, title = {Analyzing restricted fragments of the theory of linear arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai79.html#WojciechowskiES17}, volume = 79, year = 2017 }