Luca Pulina, Martina Seidl,
"The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)"
, in Artificial Intelligence, Vol. 274, Seite(n) 224-248, 2019, ISSN: 1872-7921
Original Titel:
The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)