Solving Sat with a Context-Switching Virtual Clause Pipeline and an Fpga Embedded Processor

AuthID
 P-000-CQZ
4
Author(s)
Matos, GM
·
de Sousa, JT
3
Editor(s)
Becker, J; Platzner, M; Vernalde, S
Document Type
Article
Year published
2004
Published
in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3203, Pages: 344-353 (10)
Conference
14Th International Conference on Field-Programmable Logic and Applications, Date: AUG 30-SEP 01, 2004, Location: Leuven, BELGIUM, Sponsors: Interuniv MicroElect Ctr
Indexing
Wos®
Scopus®
Publication Identifiers
Scopus: 2-s2.0-35048853028
Wos: WOS:000223803500036
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service