How to generate weakly nondecisive SAT instances | IEEE Conference Publication | IEEE Xplore