Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings - Gaspers, Serge; Walsh, Toby.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Computers; Artificial intelligence; Software engineering; Operating systems (Computers).; Computer organization; Numerical analysis; Theory of Computation; Artificial Intelligence; Software Engineering; Operating Systems; Computer Systems Organization and Communication Networks; Numeric Computing