Binary clause reasoning in QBF. (2006)

by H Samulowitz, F Bacchus