Proceedings of the 1st European Conference, E-UNSAT 2008, Durham, United Kingdom, 2-4 July 2008 - D.G. Toll; D. Gallipoli; S.J. Wheeler; C.E. Augarde (Taylor and Francis, 2008)