Sciweavers

Share
DAC
2008
ACM

A practical reconfigurable hardware accelerator for Boolean satisfiability solvers

9 years 11 months ago
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers
John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang
Added 12 Nov 2009
Updated 12 Nov 2009
Type Conference
Year 2008
Where DAC
Authors John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang
Comments (0)
books