Shinya Hiramoto

	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

Coauthor Index

1	Masaki Nakanishi	[1]
2	Yasuhiko Nakashima	[1]
3	Shigeru Yamashita	[1]