Theory and Applications of Satisfiability Testing – SAT 2017 More Books by Serge Gaspers & Toby Walsh

SOFSEM 2024: Theory and Practice of Computer Science

2024