Submitter: Luca Pulina
Description: Devised by L. Pulina and A. Tacchella, is a multi-engine solver, i.e., a tool using machine learning techniques to select among its reasoning engines the one which is more likely to yield optimal results. The reasoning engines of aqme are a subset of those submit- ted to QBFEVAL’06, while engine selection is performed according to an adaptive strategy.
Details are available in
Pulina, L., Tacchella, A.: A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints 14(1) (2009) 80–116