SAT to SAT-Hard Clause Translator.

Rakibul Hassan, Setareh Rafatirad, Houman Homayoun, Sai Manoj Pudukotai Dinakarrao

Browse the full CASES paper archive.