Our QBF solver, xb-qsts, was ranked 2nd in the main track (prenex CNF) of the latest QBF Evaluation competition (QBFEval 2016).
Personal Homepage
Our QBF solver, xb-qsts, was ranked 2nd in the main track (prenex CNF) of the latest QBF Evaluation competition (QBFEval 2016).