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: | |||