C. Bungardean
AuthID: R-006-RZK
1
TITLE: Solving SAT with a context-switching virtual clause pipeline and an FPGA embedded processor
AUTHORS: Tavares, CJ; Bungardean, C; Matos, GM; de Sousa, JT;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203
AUTHORS: Tavares, CJ; Bungardean, C; Matos, GM; de Sousa, JT;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203
INDEXED IN: 
Scopus 
WOS
Scopus WOS