Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561) 68,48 EUR*