A Software/Reconfigurable Hardware Sat Solver

AuthID
P-000-AZA
2
Author(s)
Document Type
Article
Year published
2004
Published
in IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, ISSN: 1063-8210
Volume: 12, Issue: 4, Pages: 408-419 (12)
Indexing
Publication Identifiers
Scopus: 2-s2.0-2442713051
Wos: WOS:000221091700010
Source Identifiers
ISSN: 1063-8210
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.