An Algorithmic Arithmetic Approach to the Water Jugs Problem | IEEE Conference Publication | IEEE Xplore