Mark J. Boyd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1999–2000
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | FCCM | A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems. | Mark J. Boyd, Tracy Larrabee |
| 1999 | FCCM | Reducing Compilation Time of Zhong's FPGA-Based SAT Solver. | Pak K. Chan, Mark J. Boyd, Sezer Gren, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu |