dblp.uni-trier.dewww.uni-trier.de

C. J. Tavares

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
1EEC. 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: 344-353

Coauthor Index

1C. Bungardean [1]
2G. M. Matos [1]
3José T. de Sousa [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)