Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler. SAT-Lancer: A Hardware SAT-Solver for Self-Verification. In Deming Chen, Houman Homayoun, Baris Taskin, editors, Proceedings of the 2018 on Great Lakes Symposium on VLSI, GLSVLSI 2018, Chicago, IL, USA, May 23-25, 2018. pages 479-482, ACM, 2018. [doi]
Abstract is missing.