Our paper that describes our contribution to QBFEval 2016 competition was accepted for publication in CEUR postproceedings of QBF 2016 workshop.
Personal Homepage
Our paper that describes our contribution to QBFEval 2016 competition was accepted for publication in CEUR postproceedings of QBF 2016 workshop.