Algorithms for Solving Boolean Satisfiability in Combinational Circuits

AuthID
 P-001-5HS
3
Author(s)
2
Editor(s)
Borrione,D;Ernst,R
Document Type
Proceedings Paper
Year published
1999
Published
in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS in DATE, ISSN: 15301591
Pages: 526-530 (5)
Conference
Design, Automation and Test in Europe Conference and Exhibition, Date: MAR 09-12, 1999, Location: MUNICH, GERMANY, Sponsors: EDAA, EDAC, IEEE Comp Soc-TTTC, ACM-SIGDA, IFP 10.5, ECSI, RAS
Indexing
Wos®
Scopus®
Dblp®/en/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
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service