MSc project that is applying FO optimisations on QBF formulas