Solving the enumeration and word problems on Coxeter groups | IEEE Conference Publication | IEEE Xplore