Filter
Sökt på: Sökresultat
Filter
1 träff
Theory and Applications of Satisfiability Testing – SAT 2020
häftad,
2020,
Engelska,
ISBN 9783030518240
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in …