Mark J. Boyd

According to our database, Mark J. Boyd authored at least 2 papers between 1999 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems.

Mark J. Boyd, Tracy Larrabee

Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

1999

Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.

Pak K. Chan, Mark J. Boyd, Sezer Gören, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu

Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999