18 search results - page 1 / 4 » Symmetry Breaking for Answer Set Programming |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
CP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
CP
2005
Springer
14 years 2 months ago
2005
Springer
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...
CSCLP
2006
Springer
14 years 6 days ago
2006
Springer
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...