SAT solving using FPGA-based heterogeneous computing Conferences

authors

• Thong, Jason
• Nicolici, Nicola

status

• published 

publication date

• November 2015

published in

• ICCAD / IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design  Journal

presented at event

• 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  Conference

keywords

• Computer Science
• Computer Science, Theory & Methods
• Engineering
• Engineering, Electrical & Electronic
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1109/iccad.2015.7372575

start page

• 232

end page

• 239