Kenji Kanazawa

	2011
7		Kenji Kanazawa, Tsutomu Maruyama: An FPGA Solver for SAT-Encoded Formal Verification Problems. FPL 2011: 38-43
	2010
6		Kenji Kanazawa, Tsutomu Maruyama: An Approach for Solving Large SAT Problems on FPGA. TRETS 4(1): 10 (2010)
	2007
5		Yoshiki Yamaguchi, Kenji Kanazawa, Yoshiharu Ohke, Tsutomu Maruyama: An Acceleration Method for Evolutionary Systems Based on Iterated Prisoner's Dilemma. ARC 2007: 358-364
4		Kenji Kanazawa, Tsutomu Maruyama: An FPGA Solver for Very Large SAT Problems. FPL 2007: 493-496
	2006
3		Kenji Kanazawa, Tsutomu Maruyama: An FPGA Solver for Large SAT Problems. FPL 2006: 1-6
	2005
2		Kenji Kanazawa, Tsutomu Maruyama: An FPGA Solver for WSAT Algorithms. FPL 2005: 83-88
1		Tadashi Nemoto, Dmitri G. Fedorov, Masami Uebayasi, Kenji Kanazawa, Kazuo Kitaura, Yuto Komeiji: Ab initio fragment molecular orbital (FMO) method applied to analysis of the ligand-protein interaction in a pheromone-binding protein. Computational Biology and Chemistry 29(6): 434-439 (2005)

Coauthor Index

1	Dmitri G. Fedorov (Dmitry Fedorov)	[1]
2	Kazuo Kitaura	[1]
3	Yuto Komeiji	[1]
4	Tsutomu Maruyama	[2] [3] [4] [5] [6] [7]
5	Tadashi Nemoto	[1]
6	Yoshiharu Ohke	[5]
7	Masami Uebayasi	[1]
8	Yoshiki Yamaguchi	[5]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page