Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Dynamic Posting of Static Symmetry Breaking Constraints George Katsirelos
 

Summary: Dynamic Posting of Static Symmetry Breaking Constraints
George Katsirelos
NICTA
Sydney, Australia
george.katsirelos@nicta.com.au
Nina Narodytska
NICTA and UNSW
Sydney, Australia
ninan@cse.unsw.edu.au
Toby Walsh
NICTA and UNSW
Sydney, Australia
toby.walsh@nicta.com.au
Abstract
We have proposed a method for dynamically post-
ing symmetry breaking constraints to eliminate
value interchangeability [1]. We now extend this
method to work with any type of symmetry break-
ing constraint for any type of symmetry. We prove
that this method is correct in general. That is, it

  

Source: Aloul, Fadi - Department of Computer Engineering, American University of Sharjah

 

Collections: Engineering