Name Parent Directory Hard Instance Generation for SAT.pdf Factoring integers with parallel SAT solvers.pdf Encoding Basic Arithmetic Operations for SAT-Solvers.pdf