Solving the Langford problem in parallel | IEEE Conference Publication | IEEE Xplore