Opening book details…
About this scholarly article
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) - Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver by Ganai, M.K.; Lintao Zhang, ; Ashar, P.; Gupta, A.; Malik, S. is a scholarly article available to read on EtoBox.
- Author
- Ganai, M.K.; Lintao Zhang, ; Ashar, P.; Gupta, A.; Malik, S.
- Publisher
- IEEE
- Published
- 2002
- Language
- EN
More by Ganai, M.K.; Lintao Zhang, ; Ashar, P.; Gupta, A.; Malik, S.
Browse all works by Ganai, M.K.; Lintao Zhang, ; Ashar, P.; Gupta, A.; Malik, S.