João Nuno de Almeida Reis Hipólito
AuthID: R-000-796
1
TÃTULO: On implementing a configware/software SAT solver
AUTORES: Reis, NA; de Sousa, JT;
PUBLICAÇÃO: 2002, FONTE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS
AUTORES: Reis, NA; de Sousa, JT;
PUBLICAÇÃO: 2002, FONTE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS
INDEXADO EM: 
WOS 
CrossRef
WOS CrossRef