Huang, Jinbo2015-12-08September3540749691http://hdl.handle.net/1885/36211A case for simple SAT solvers20072015-12-08