Skliarova-2004a
From IEETA
Article
Title | A software/reconfigurable hardware SAT solver |
---|---|
Author | Iouliia Skliarova, António Ferrari |
Journal | IEEE Transactions on Very Large Scale Integration (VLSI) Systems |
Volume | 12 |
Number | 4 |
Pages | 408-419 |
Month | April |
Year | 2004 |
DOI | 10.1109/TVLSI.2004.825859 |
Group | |
Group (before 2015) | Embedded Systems, Computing and Control Laboratory |
Indexed by ISI | Yes |