Sciweavers

Share
DAC
1999
ACM

A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware

11 years 9 months ago
A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware
Miron Abramovici, José T. de Sousa, Daniel
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where DAC
Authors Miron Abramovici, José T. de Sousa, Daniel G. Saab
Comments (0)
books