1.
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference...
by Strichman, Ofer, Szeider, S...
ISBN: 9783642141850
List Price: $95.00
OUT OF STOCK
See Availability on Amazon2.
Parameterized and Exact Computation : 8th International Symposium, Ipec 2013, Sophia Antipol...
by Gutin, Gregory, Szeider, St...
ISBN: 9783319038995
List Price: $24.99