Filter
Søkt på: Søkeresultat
Filter
1 treff
Theory and Applications of Satisfiability Testing - SAT 2018
e-bok,
2018,
Engelsk,
ISBN 9783319941448
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July …