The top documents tagged [breaking symmetries]

Non-binary constraints: modelling Toby Walsh Cork Constraint Computation Center.

---

217 views

Shatter : Efficient Symmetry-Breaking for Boolean Satisfiability

---

37 views