Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim. - Ying Jie Yan; Hideharu Amano; Masashi Aono; Kaori Ohkoda; Shingo Fukuda; Kenta Saito; Seiya Kasai (FPT, 2021)