Solving Difficult SAT Instances Using Greedy Clique Decomposition Pavel Surynek [email protected] http://ktiml.mff.cuni.cz/~surynek Faculty of Mathematics and Physics…
