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