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.

Abstract

Abstract is missing.