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]
@inproceedings{HassanRHD19,
title = {SAT to SAT-Hard Clause Translator},
author = {Rakibul Hassan and Setareh Rafatirad and Houman Homayoun and Sai Manoj Pudukotai Dinakarrao},
year = {2019},
url = {https://ieeexplore.ieee.org/document/8944352},
researchr = {https://researchr.org/publication/HassanRHD19},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {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},
publisher = {IEEE},
isbn = {978-1-4503-6925-1},
}