A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.

Shinya Hiramoto Masaki Nakanishi Shigeru Yamashita Yasuhiko Nakashima A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads. 343-349 2007 conf/arc/2007 ARC http://dx.doi.org/10.1007/978-3-540-71431-6_32 db/conf/arc/arc2007.html#HiramotoNYN07