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) 117