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",

}