2 papers
cs.DC2024
Cyber Physical Games
Warisa Sritriratanarak, Paulo Garcia
We describe a formulation of multi-agents operating within a Cyber-Physical System, resulting in collaborative or adversarial games. We show that the non-determinism inherent in th…
cs.AR2024
Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs
Hariprasadh Govindasamy, Babak Esfandiari, Paulo Garcia
We present a hardware-accelerated SAT solver targeting processor/Field Programmable Gate Arrays (FPGA) SoCs. Our solution accelerates the most expensive subroutine of the Davis-Put…