A mathematical formulation to efficiently determine "life status" in the game of Go | IEEE Conference Publication | IEEE Xplore