Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.

Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang

Browse the full AAIM paper archive.