A FPGA Based SAT Solver with High Random and Concurrent Strategies.

Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu

Browse the full QRS paper archive.