Algorithms for Solving Boolean Satisfiability in Combinational Circuits

AuthID
 P-001-5HS
3
Author(s)
2
Editor(es)
Borrione,D;Ernst,R
Tipo de Documento
Proceedings Paper
Year published
1999
Publicado
in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS in DATE, ISSN: 15301591
Páginas: 526-530 (5)
Conference
Design, Automation and Test in Europe Conference and Exhibition, Date: MAR 09-12, 1999, Location: MUNICH, GERMANY, Patrocinadores: EDAA, EDAC, IEEE Comp Soc-TTTC, ACM-SIGDA, IFP 10.5, ECSI, RAS
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/38457
Crossref®5
Google Scholar®
Publication Identifiers
DBLP: conf/date/SilvaSM99
SCOPUS: 2-s2.0-0012118456
Wos: WOS:000079489400087
Source Identifiers
ISSN: 15301591
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