Theory and Applications of Satisfiability Testing SAT 2016Nadia Creignou, Daniel Le Berre · First published 2016Open the Tome
