SATurn: A Low-Power FeFET Crossbar Architecture for Solving Boolean Satisfiability Problems. - John Taylor Maurer; Ahmed Mamdouh Mohamed Ahmed; Parsa Khorrami; Dayane Alfenas Reis (ACM Great Lakes Symposium on VLSI, 2026)