squeezebf+aqme
| Submitter: | Luca Pulina | ||
| Description: | Devised by L. Pulina and A. Tacchella, it is a version of the solver AQME-10 that uses SQUEEZEBF at the preprocessing stage. | ||
| Results: | |||
| Submitter: | Luca Pulina | ||
| Description: | Devised by L. Pulina and A. Tacchella, it is a version of the solver AQME-10 that uses SQUEEZEBF at the preprocessing stage. | ||
| Results: | |||