Satisfiability of word equations with constants is in PSPACE | IEEE Conference Publication | IEEE Xplore