Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem

Ying Zhao, Sharad Malik, Albert Wang, Matthew W. Moskewicz, Conor F. Madigan. Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. In 19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings. pages 447-452, IEEE Computer Society, 2001.

Authors

Ying Zhao

This author has not been identified. Look up 'Ying Zhao' in Google

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google

Albert Wang

This author has not been identified. Look up 'Albert Wang' in Google

Matthew W. Moskewicz

This author has not been identified. Look up 'Matthew W. Moskewicz' in Google

Conor F. Madigan

This author has not been identified. Look up 'Conor F. Madigan' in Google