Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT.

Che Cheng, Jie-Hong R. Jiang

Browse the full AAAI paper archive.