53 citations · 143 across the 30 of their papers we have counts for
1 paper · 1 filter
Joao Marques-Silva, Ines Lynce, Vasco Manquinho
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred…