HiM: An Autonomous Hardware Accelerator for Solving Boolean Satisfiability Problem with a Heuristic-in-Macro Engine.

Shin Han, Minhyeok Jeong, Yoonmyung Lee

Browse the full DATE paper archive.