Ying Jie Yan, Hideharu Amano, Masashi Aono, Kaori Ohkoda, Shingo Fukuda, Kenta Saito, Seiya Kasai. Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim. In International Conference on Field-Programmable Technology, (IC)FPT 2021, Auckland, New Zealand, December 6-10, 2021. pages 1-5, IEEE, 2021. [doi]
Abstract is missing.