Survey of Lower Bounds for Satisfiability and Related Problems, Paperback by Melkebeek Van, Dieter, ISBN 1601980841, ISBN-13 9781601980847, Brand New, Free P&P in the UK