A collection of papers on various theoretical and practical aspects of SAT solving.
It is suitable for students and researchers.
Elefant
Ios Press Handbook of satisfiability, hardback/***