FPGA acceleration of enhanced boolean constraint propagation for SAT solvers Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Thong, Jason
Nicolici, Nicola

status

published

publication date

November 2013

published in

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers Journal

presented at event

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