Joel Perdiz Arrais
AuthID: R-000-7M7
51
TITLE: Hardware/software implementation of FPGA-targeted matrix-oriented SAT solvers
AUTHORS: Sklyarov, V; Skliarova, I; Pimentel, B; Arrais, J;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field Programmable Logic and Applications, FPL 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3203
AUTHORS: Sklyarov, V; Skliarova, I; Pimentel, B; Arrais, J;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field Programmable Logic and Applications, FPL 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3203
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID52
TITLE: Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers
AUTHORS: Valery Sklyarov; Iouliia Skliarova; Bruno Pimentel; Joel Arrais;
PUBLISHED: 2004, SOURCE: Field Programmable Logic and Application - Lecture Notes in Computer Science
AUTHORS: Valery Sklyarov; Iouliia Skliarova; Bruno Pimentel; Joel Arrais;
PUBLISHED: 2004, SOURCE: Field Programmable Logic and Application - Lecture Notes in Computer Science
