squeezebf+struqs
| Submitter: | Luca Pulina | ||
| Description: | Devised by L. Pulina and A. Tacchella, it is a version of the solver StruQS-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 StruQS-10 that uses SQUEEZEBF at the preprocessing stage. | ||
| Results: | |||