A Survey of Lower Bounds for Satisfiability and Related Problems

Dieter van Melkebeek

978-1-60198-084-7

80.00 USD