The satisfiability problem algorithms and analyses - Schöning, Uwe 1955-; Torán, Jacobo 1962- (Lehmanns Media, 2013)