Multi-board FPGA Implementation to Solve the Satisfiability Problem for Multi-Agent Path Finding in Smart Factory | IEEE Conference Publication | IEEE Xplore