8 search results - page 1 / 2 » jsat 2010 |
JSAT
2010
12 years 11 months ago
2010
In this paper we describe aqme'10, the version of the Adaptive QBF Multi-Engine submitted to QBFEVAL'10.
JSAT
2010
12 years 11 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
JSAT
2010
12 years 11 months ago
2010
We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quan...
JSAT
2010
12 years 11 months ago
2010
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Ho...
JSAT
2010
12 years 11 months ago
2010
In this paper we outline QuBE7's main features, describing first the options of the preprocessors, and then giving some details about how the core search-based solver (i) per...