Publicações

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

AuthID
P-000-CQZ

Author(s)

Tavares, CJ

Bungardean, C

Matos, GM

de Sousa, JT

Editor(es)

Becker, J; Platzner, M; Vernalde, S

Tipo de Documento

Article

Year published

2004

Publicado

in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 3203, Páginas: 344-353 (10)

Conference

14Th International Conference on Field-Programmable Logic and Applications, Date: AUG 30-SEP 01, 2004, Location: Leuven, BELGIUM, Patrocinadores: Interuniv MicroElect Ctr

Indexing

Wos^®

Scopus^®

Metadata
Fontes

Publication Identifiers

SCOPUS: 2-s2.0-35048853028

Wos: WOS:000223803500036

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda