P)-SAT by Flipping Two Variables

Guangyan Zhou, Zongsheng Gao. P)-SAT by Flipping Two Variables. Int. J. Found. Comput. Sci., 24(6):899-912, 2013. [doi]

Abstract

Abstract is missing.