AQME’10

Luca Pulina, Armando Tacchella

Abstract


In this paper we describe aqme’10, the version of the Adaptive QBF Multi Engine submitted to QBFEVAL’10.

Keywords


self-adaptive multi-engine solver, quantified Boolean formulas, AQME

Full Text:

PDF

Refbacks

  • There are currently no refbacks.