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

Author:  

Publication:  Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.
Tags:     AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2019.04.002

View full text

>> Full Text:   The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)

Rational closure for all description logics

Editorial Board