Theory and Applications of Satisfiability Testing – SAT 2018 Plus de livres par Olaf Beyersdorff & Christoph M. Wintersteiger

MATHEMATICS FOR COMPUTATION (M4C)

2023