@misc{indiciaee2c9861a2932,
  title = {Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs},
  author = {Hariprasadh Govindasamy and Babak Esfandiari and Paulo Garcia},
  year = {2024},
  url = {https://arxiv.org/abs/2401.07429},
  note = {Source identifier: 2401.07429}
}