Theory and Applications of Satisfiability Testing – SAT 2017 Mehr Bücher von Serge Gaspers & Toby Walsh

SOFSEM 2024: Theory and Practice of Computer Science

2024