How to generate weakly nondecisive SAT instances.

Csaba Bir, Gbor Kusper, Tibor Tajti

Browse the full SISY paper archive.