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 |