LIBRARY Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings 2021 · ENG · EPUB View details →