Teodor Ivan, El Mostapha Aboulhamid. Exploring limits of parallelism in FPGA-based Boolean satisfiability. In 2nd Mediterranean Conference on Embedded Computing, MECO 2013, Budva, Montenegro, June 15-20, 2013. pages 62-65, IEEE, 2013. [doi]
Abstract is missing.