Resolution and parallelizability: Barriers to the efficient parallelization of SAT solversGeorge KatsirelosAshish Sabharwalet al.2013AAAI 2013