| Invited Talk: Without Loss
of Generality -- Symmetric Reasoning for Resolution Systems
S. Szeider
|
| Symmetry Breaking in Local Search for Unsatisfiability |
| Efficient Symmetry Breaking Predicates for Quantified Boolean Formulas |
| Dynamic Detection and Elimination of Local Symmetry in CSPs |
| A Novel Approach For Detecting Symmetries in CSP Models |
|
Exploiting Symmetry in Multiple Knapsack Problems
|
| Minimal Ordering Constraints for Some Families of Variable Symmetries |
| A CP Approach to the Balanced Academic Curriculum Problem |
|
Substitutability Based Domain Decomposition for Constraint Satisfaction
|
|
Symmetry-Breaking Formulas for Groups with Bounded Orbit Projections
|
| Breaking Value Symmetry |
| Symmetry in Constraint Optimization |
|
Symmetry Breaking in Subgraph Isomorphism
|