General symmetry breaking constraints

Authors:
Toby Walsh
Affiliations:
National ICT Australia and School of CSE, University of New South Wales, Sydney, Australia
Venue:
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Year:
2006

Citing 13
Cited 12

Tree clustering for constraint networks (research note)

Artificial Intelligence
Solving difficult SAT instances in the presence of symmetry

Proceedings of the 39th annual Design Automation Conference
On the Satisfiability of Symmetrical Constrained Satisfaction Problems

ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Global Constraints for Lexicographic Orderings

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Breaking Row and Column Symmetries in Matrix Models

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction

Constraints
Symmetry Definitions for Constraint Satisfaction Problems

Constraints
Symmetry Breaking using Value Precedence

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The complexity of global constraints

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
An efficient way of breaking value symmetries

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Solving set constraint satisfaction problems using ROBDDs

Journal of Artificial Intelligence Research
Efficient symmetry breaking for boolean satisfiability

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Breaking symmetries in all different problems

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Solving necklace constraint problems

Journal of Algorithms
Breaking value symmetry

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
SymChaff: exploiting symmetry in a structure-aware satisfiability solver

Constraints
Local symmetry breaking during search in CSPs

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Groupoids and conditional symmetry

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Breaking value symmetry

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Evaluation of length-lex set variables

CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Symmetry within and between solutions

PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Symmetry breaking

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Partial symmetry breaking by local search in the group

Constraints
Exploiting constraints

ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
The regulargcc matrix constraint

AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simultaneously on variables and values, conditional symmetries, as well as symmeties acting on set and other types of variables.