[IEEE 2019 22nd Euromicro Conference on Digital System Design (DSD) - Kallithea, Greece (2019.8.28-2019.8.30)] 2019 22nd Euromicro Conference on Digital System Design (DSD) - SAT-Hard: A Learning-Based Hardware SAT-Solver
Ustaoglu, Buse, Huhn, Sebastian, Sill Torres, Frank, Grosse, Daniel, Drechsler, RolfYear:
2019
DOI:
10.1109/dsd.2019.00021
File:
PDF, 866 KB
2019