This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Hels

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism

It's scary enough that the SAT can make or break one's college admission chances, but the fact that girls consistently score lower than boys makes it an even bi

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swan