Login / Signup
Hariprasadh Govindasamy
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Sat Solving
Arc Consistency
Constraint Propagation
State Space
Top Venues
CoRR
</>
Publications
</>
Hariprasadh Govindasamy
,
Babak Esfandiari
,
Paulo Garcia
Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs.
CoRR
(2024)