in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 10929, Pages: 187-198 (12)
Conference
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
