Hard Instance Generation for SAT (Extended Abstract).

Satoshi Horie, Osamu Watanabe

Browse the full ISAAC paper archive.