Grasp - A New Search Algorithm for Satisfiability

AuthID
 P-001-FR7
2
Author(s)
Sakallah, KA
1
Editor(es)
Anon
Tipo de Documento
Proceedings Paper
Year published
1996
Publicado
in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS in IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, ISSN: 1063-6757
Páginas: 220-227 (8)
Conference
1996 Ieee/Acm International Conference on Computer-Aided Design, Date: NOV 10-14, 1996, Location: SAN JOSE, CA, Patrocinadores: IEEE, Assoc Comp Machinery
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/48903
Google Scholar®
Publication Identifiers
DBLP: conf/iccad/SilvaS96
SCOPUS: 2-s2.0-0030402207
Wos: WOS:A1996BG84Y00035
Source Identifiers
ISSN: 1063-6757
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