1
Advances in Computer Games [E-Book] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
2
Theory and Applications of Satisfiability Testing – SAT 2016 [E-Book] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /