Heuristic Backtracking Algorithms for Sat

AuthID
 P-000-KWS
4
Author(s)
de Sousa, JT
·
2
Editor(es)
Abadir,MS;Wang,LC
Tipo de Documento
Proceedings Paper
Year published
2003
Publicado
in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS in Proceedings International Workshop on Microprocessor Test and Verification, ISSN: 1550-4093
Volume: 2003-January, Páginas: 69-74 (6)
Conference
4Th International Workshop on Microprocessor Test and Verification, Date: MAY 29-30, 2003, Location: AUSTIN, TX, Patrocinadores: IEEE Comp Soc Test Technol Council
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/20377
Crossref®7
Google Scholar®
Publication Identifiers
DBLP: conf/mtv/BhallaLSM03
SCOPUS: 2-s2.0-27944488740
Wos: WOS:000186890600011
Source Identifiers
ISSN: 1550-4093
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service