SAT-Based Algorithms for Logic Minimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samir Sapra, Michael Theobald, Edmund M. Clarke. SAT-Based Algorithms for Logic Minimization. In 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings. pages 510, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Samir Sapra' in GoogleThis author has not been identified. Look up 'Michael Theobald' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL