Hariprasadh Govindasamy

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Constraint Propagation

Temporal Constraints

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

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