Implementing CSAT local search on FPGAs - Henz, M (SPRINGER-VERLAG BERLIN, 2021)
10.1007/3-540-46117-5_130