A Sat Solver Using Software and Reconfigurable Hardware

AuthID
P-000-R2G
2
Author(s)
2
Editor(es)
Kloos, CD; DaFranca, J
Tipo de Documento
Proceedings Paper
Year published
2002
Publicado
in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS
Páginas: 1094-1094 (1)
Conference
Design, Automation and Test in Europe Conference and Exhibition (Date 2002), Date: MAR 04-08, 2002, Location: PARIS, FRANCE, Patrocinadores: EDAA, EDAC, IEEE CS TTC, IEEE CS DATC, ECSI, ACM SIGDA, RAS, AEIA, ATI, CLRC, CNR, Estonian E Soc, GI, GMM, HTE, IEE, ITG, KVIV, VDE
Indexing
Publication Identifiers
Wos: WOS:000176953300181
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.