Rakibul Hassan, Setareh Rafatirad, Houman Homayoun, Sai Manoj Pudukotai Dinakarrao. SAT to SAT-Hard Clause Translator. In 2019 International Conference on Compliers, Architectures and Synthesis for Embedded Systems, CASES 2019, Work in Progress Papers, New York, NY, USA, October 13-18, 2019. pages 1-2, IEEE, 2019. [doi]
Abstract is missing.