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