FPGAs (Can Get Some) SATisfaction. - Hariprasadh Govindasamy; Babak Esfandiari; Paulo Garcia (CoRR, 2023)

Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs. - Hariprasadh Govindasamy; Babak Esfandiari; Paulo Garcia (ACM Great Lakes Symposium on VLSI, 2024)