Buse Ustaoglu, Sebastian Huhn 0001, Frank Sill Torres, Daniel Große, Rolf Drechsler. SAT-Hard: A Learning-Based Hardware SAT-Solver. In 22nd Euromicro Conference on Digital System Design, DSD 2019, Kallithea, Greece, August 28-30, 2019. pages 74-81, IEEE, 2019. [doi]
Abstract is missing.