AQME-RIPPER
Submitter: | Luca Pulina | ||
Description: | An Adaptive QBF Multi Engine, devised by L. Pulina and A. Tacchella, based on the solvers and the results of QBFEVAL'06. | ||
Results: | |||
Submitter: | Luca Pulina | ||
Description: | An Adaptive QBF Multi Engine, devised by L. Pulina and A. Tacchella, based on the solvers and the results of QBFEVAL'06. | ||
Results: | |||