Using incomplete satisfiability modulo theories to determine robotic tasks | IEEE Conference Publication | IEEE Xplore