On Implementing a Configware/Software Sat Solver

AuthID
P-000-S6D
2
Author(s)
de Sousa, JT
2
Editor(es)
Arnold, J; Pocek, KL
Tipo de Documento
Proceedings Paper
Year published
2002
Publicado
in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS in Annual IEEE Symposium on Field-Programmable Custom Computing Machines
Páginas: 282-283 (2)
Conference
10Th Annual Ieee Symposium on Field-Programmable Custom Computing Machines, Date: APR 22-24, 2001-2002, Location: NAPA, CA, Patrocinadores: IEEE Comp Soc, Tech Comm Comp Architecture
Indexing
Publication Identifiers
Wos: WOS:000179073100030
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.