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