Theory and Applications of Satisfiability Testing – SAT 2018 More Books by Olaf Beyersdorff & Christoph M. Wintersteiger

MATHEMATICS FOR COMPUTATION (M4C)

2023