This book is devoted to recent progress made in solving propositional satisfiability and related ...

Satisfiability and Computing van der Waerden Numbers.- An Algorithm for SAT Above the Threshold.-...