The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)

Research output: Contribution to journal › Article › peer-review

Fields of science

@article{6b1d555dfca64f1eac396f1cc2a5d1aa,

title = "The 2016 and 2017 \{QBF\} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)",

author = "Luca Pulina and Martina Seidl",

year = "2019",

doi = "10.1016/j.artint.2019.04.002",

language = "English",

volume = "274",

pages = "224--248",

journal = "Artificial Intelligence",

issn = "1872-7921",

publisher = "Elsevier",

}

TY - JOUR

T1 - The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)

AU - Pulina, Luca

AU - Seidl, Martina

PY - 2019

Y1 - 2019

UR - https://www.scopus.com/pages/publications/85064252396

U2 - 10.1016/j.artint.2019.04.002

DO - 10.1016/j.artint.2019.04.002

M3 - Article

SN - 1872-7921

VL - 274

SP - 224

EP - 248

JO - Artificial Intelligence

JF - Artificial Intelligence

ER -