C. Bungardean
AuthID: R-006-RZK
1
TÃTULO: Solving SAT with a context-switching virtual clause pipeline and an FPGA embedded processor
AUTORES: Tavares, CJ; Bungardean, C; Matos, GM; de Sousa, JT;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203
AUTORES: Tavares, CJ; Bungardean, C; Matos, GM; de Sousa, JT;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203
INDEXADO EM: 
Scopus 
WOS
Scopus WOS