Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning.

Mon, 01 Jan 2018 00:00:00 +0100

Tevich Treethanyaphong, Athasit Surarerks:
Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning. EECS 2018: 242-247