xb-qsts
| Submitter: | Shahab Tasharrofi | ||
| Description: | Devised by B. Bogaerts, T. Janhunen, and S. Tasharrofi, is an extenstion of the QSTS solver. It uses using both QXBF and BLOQQER preprocessors. | ||
| Results: | |||
| Submitter: | Shahab Tasharrofi | ||
| Description: | Devised by B. Bogaerts, T. Janhunen, and S. Tasharrofi, is an extenstion of the QSTS solver. It uses using both QXBF and BLOQQER preprocessors. | ||
| Results: | |||