Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim | IEEE Conference Publication | IEEE Xplore