A GPU/OpenCL proof of concept for Simple Temporal Problems (STP)