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