Hardware/Software Implementation of Fpga-Targeted Matrix-Oriented Sat Solvers

AuthID
P-00G-X7P
4
Author(s)
1
Editor(s)
Platzner M.Vernalde S.Becker J.
Document Type
Proceedings Paper
Year published
2004
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 3203, Pages: 922-926
Conference
14Th International Conference on Field Programmable Logic and Applications, Fpl 2004, Date: 30 August 2004 through 1 September 2004, Sponsors: Altera;Synplicity;Xilinx
Indexing
Publication Identifiers
Scopus: 2-s2.0-84947996377
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.