Tevich Treethanyaphong, Athasit Surarerks. Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning. In 2nd European Conference on Electrical Engineering and Computer Science, EECS 2018, Bern, Switzerland, December 20-22, 2018. pages 242-247, IEEE, 2018. [doi]
Abstract is missing.