Theory and Applications of Satisfiability Testing – SAT 2017 2 contributors - Paperback £44.99 Find out more