Theory and Applications of Satisfiability Testing – SAT 2017 Plus de livres par Serge Gaspers & Toby Walsh

SOFSEM 2024: Theory and Practice of Computer Science

2024