skip to main content

Title: HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks
Authors:
; ;
Award ID(s):
1719047
Publication Date:
NSF-PAR ID:
10215919
Journal Name:
26th Asia and South Pacific Design Automation Conference (ASPDAC)
Page Range or eLocation-ID:
29 to 34
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found