Theory and Applications of Satisfiability Testing - SAT 2017
Theory and Applications of Satisfiability Testing - SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Walsh, Toby; Gaspers, Serge
Springer International Publishing AG
08/2017
476
Mole
Inglês
9783319662626
15 a 20 dias
7372