Mark J. Boyd

	2000
2		Mark J. Boyd, Tracy Larrabee: A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems. FCCM 2000: 13-21
	1999
1		Pak K. Chan, Mark J. Boyd, S. Goren, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, K. Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu: Reducing Compilation Time of Zhong's FPGA-Based SAT Solver. FCCM 1999: 308-309

Coauthor Index

1	Pak K. Chan	[1]
2	S. Goren	[1]
3	K. Klenk	[1]
4	V. Kodavati	[1]
5	R. Kundu	[1]
6	Tracy Larrabee	[2]
7	M. Margolese	[1]
8	J. Sun	[1]
9	K. Suzuki	[1]
10	E. Thorne	[1]
11	X. Wang	[1]
12	J. Xu	[1]
13	M. Zhu	[1]

Colors in the list of coauthors