João Nuno de Almeida Reis Hipólito
AuthID: R-000-796
1
TITLE: On implementing a configware/software SAT solver
AUTHORS: Reis, NA; de Sousa, JT;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS
AUTHORS: Reis, NA; de Sousa, JT;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef