A competitive and cooperative approach to propositional satisfiability. - Katsumi Inoue; Takehide Soh; Seiji Ueda; Yoshito Sasaura; Mutsunori Banbara; Naoyuki Tamura (Discret. Appl. Math., 2006)