Parallel SAT through Composition Of Solutions in Compressed Disjunctive Normal Form.