Sklyarov-2005b
From IEETA
Conference proceedings article
Title | Using Compression/Decompression Technique for FPGA Targeted Matrix-Oriented SAT Solvers |
---|---|
Author | Valery Sklyarov, Iouliia Skliarova, Bruno Pimentel |
Booktitle | Proceedings of the XX Conference on Design of Circuits and Integrated Systems – DCIS’2005 |
Address | Lisbon, Portugal |
Volume | |
Pages | |
Month | November |
Year | 2005 |
Group | |
Group (before 2015) | Embedded Systems, Computing and Control Laboratory |
Indexed by ISI | No |
Scope |