Solving Satisfiability in Combinational Circuits with Backtrack Search and Recursive Learning

AuthID
P-00X-Z4W
2
Author(s)
Guerra E Silva L.
Document Type
Proceedings Paper
Year published
1999
Published
in Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
Pages: 192-195 (3)
Indexing
Publication Identifiers
Scopus: 2-s2.0-84968426498
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.