21St International Conference on Theory and Applications of Satisfiability Testing (Sat) Held as Part of the Federated Logic Conference (Floc), Date: JUL 06-19, 2018, Location: Univ Oxford, Oxford, ENGLAND, Sponsors: Artificial Intelligence Journal, SATALIA, Host: Univ Oxford