Publications
Download:
File size:
1586 kb
Format:
application/pdf
Author:
Kiziltan, Zeynep (Uppsala University, Computer Science)
Title:
Symmetry Breaking Ordering Constraints
Department:
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science, Computer Science
Publication type:
Doctoral thesis, monograph (Other academic)
Language:
English
Place of publ.:
Uppsala
Publisher:
Data- och systemvetenskap
Pages:
250
Year of publ.:
2004
URI:
urn:nbn:se:uu:diva-3991
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3991
ISBN:
91-506-1737-0
Subject category:
Computer science
Keywords(en) :
Datavetenskap, Constraint satisfaction, constraint programming, modelling, symmetry breaking, global constraints
Keywords(sv) :
Datavetenskap
Abstract(en) :

Many problems in business, industry, and academia can be modelled as constraint programs consisting of matrices of decision variables. Such “matrix models” often have symmetry. In particular, they often have row and column symmetry as the rows and columns can freely be permuted without affecting the satisfiability of assignments. Existing methods have difficulty in dealing with the super-exponential number of symmetries in a problem with row and column symmetry. We therefore propose some ordering constraints which can effectively break such symmetries. To use these constraints in practice, we develop some efficient linear time propagators. We demonstrate the effectiveness of these symmetry breaking ordering constraints on a wide range of problems. We also show how such ordering constraints can be used to deal with partial symmetries, as well as value symmetries.

Public defence:
2004-03-05, Hörsal 2, Ekonomikum, Kyrkogårdsgatan 10, Uppsala, 13:00
Degree:
degree of Doctor of Philosophy
Supervisor:
Hamfelt, Andreas, Professor
Walsh, Toby, Professor
Opponent:
Meseguer, Pedro, Scientific Researcher (Artificial Intelligence Research Institute, Barcelona)
Available from:
2004-02-10
Created:
2006-03-19
Statistics:
1703 hits
FILE INFORMATION
File size:
1586 kb
Mimetype:
application/pdf
Type:
fulltext
Statistics:
2045 hits