17Th International Conference on Theory and Applications of Satisfiability Testing (Sat) Held as Part of the Federated Logic Conference (Floc) / Vienna Summer of Logic (Vsl) Conference, Date: JUL 09-24, 2014, Location: Vienna Univ Technol, Vienna, AUSTRIA, Sponsors: Kurt Godel Soc, SAT Assoc, Intel, Host: Vienna Univ Technol