xb-bid-qsts
Submitter: | Shahab Tasharrofi | ||
Description: | Devised by B. Bogaerts, J. Devriendt, T. Janhunen, and S. Tasharrofi, it extends the xb-qsts solver with BREAKID,
a SAT symmetry breaker that has been modified to detect a (limited) class
of symmetries in QBF instances.
Details about BREAKID are available in Devriendt, J., Bogaerts, B., Bruynooghe, M.: BreakIDGlucose: On the importance of row symmetry in SAT. In: Proceedings 4th International Workshop on the Cross-Fertilization Between CSP and SAT. (2014) 1–17 | ||
Results: | |||