Fast parallel constraint satisfaction