| 2007 | ||
|---|---|---|
| 1 | Shinya Hiramoto, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima: A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads. ARC 2007: 343-349 | |
| 1 | Masaki Nakanishi | [1] |
| 2 | Yasuhiko Nakashima | [1] |
| 3 | Shigeru Yamashita | [1] |