Showing 1 - 2 of 2 Results
1.
Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference... by Beyersdorff, Olaf, Winterst... ISBN: 9783319941431 List Price: $89.99
2.
Mathematics for Computation (M4C) by Benini, Marco, Beyersdorff,... ISBN: 9789811245213