Grasp - A New Search Algorithm for Satisfiability

AuthID
 P-001-FR7
2
Author(s)
Sakallah, KA
1
Editor(s)
Anon
Document Type
Proceedings Paper
Year published
1996
Published
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
Pages: 220-227 (8)
Conference
1996 Ieee/Acm International Conference on Computer-Aided Design, Date: NOV 10-14, 1996, Location: SAN JOSE, CA, Sponsors: IEEE, Assoc Comp Machinery
Indexing
Wos®
Scopus®
Dblp®/en/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
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