Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, Band 12831)

Allgemein

Marke
Chu-Min Li

Eigenschaften

Menü