Search for Mathematical Objects. - Colin Quirke (CP, 2003)

Local Search for Very Large SAT Problems. - Steven D. Prestwich; Colin Quirke (SAT, 2004)