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

Ying Zhao, Sharad Malik, Albert R. Wang, Matthew W. Moskewicz, Conor F. Madigan

Browse the full ICCD paper archive.