Theory and Applications of Satisfiability Testing - SAT 2018
Theory and Applications of Satisfiability Testing - SAT 2018
21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Wintersteiger, Christoph M.; Beyersdorff, Olaf
Springer International Publishing AG
06/2018
452
Mole
Inglês
9783319941431
15 a 20 dias
718