Slater, Andrew2015-12-132015-12-13December 23540001972http://hdl.handle.net/1885/94272Modelling more realistic SAT problems20022015-12-12