SAT-Hard: A Learning-Based Hardware SAT-Solver.

Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Groe, Rolf Drechsler

Browse the full DSD paper archive.