Exploits In Concurrency For Boolean Satisfiability