A DNA Clause String Algorithm for SAT