Constraint programming for Platonic Beast legged robots | IEEE Conference Publication | IEEE Xplore