aqme-10
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 | ||
Results: | |||