Editorial Board

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/S0004-3702(19)30167-5

View full text

>> Full Text: Editorial Board

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

Advanced SMT techniques for weighted model integration