Personal tools

Skliarova-2004a

From IEETA

Jump to: navigation, search

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