Algorithms for Solving Boolean Satisfiability in Combinational Circuits

AuthID
P-001-5HS
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
Publication Identifiers
Dblp: conf/date/SilvaSM99
Scopus: 2-s2.0-0012118456
Wos: WOS:000079489400087
Source Identifiers
ISSN: 15301591
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.