G. M. Matos

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

C. J. Tavares, C. Bungardean, G. M. Matos, José T. de Sousa
Solving SAT with a Context-Switching Virtual Clause Pipeline and an FPGA Embedded Processor. FPL (2004)