Reference Details Giunchiglia, Enrico, Marin, Paolo and Narizzano, Massimo (2008), "An Effective Preprocessor for QBF pre-reasoning", 2nd International Workshop on Quantification in Constraint Programming (QiCP 2008).   Webpage Link