on all orders of $59 or more
SAT2000 : Highlights of Satisfiability ...
by Gent, Ian; Gentles, Ian; Maaren, Hans Van; et al.
ISBN: 9781586030612
Copyright:
Hardcover
Handbook of Satisfiability : Volume 185 ...
by Biere, Armin; Heule, Marijn; Van Maaren, Hans; et al.
ISBN: 9781586039295