Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model Restarts for Structural Symmetry Breaking Daniel Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip
 

Summary: Model Restarts for Structural Symmetry Breaking

Daniel Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip
Brown University, Department of Computer Science
115 Waterman Street, P.O. Box 1910, Providence, RI 02912
Abstract
Based on structural abstractions of the problem,
structural symmetry breaking (SSB) can be used
to break symmetry dynamically during search, or
statically by adding symmetry breaking constraints
to the problem. While dynamic symmetry break-
ing incurs larger costs per choice point, it is able
to accommodate dynamic search orderings. Static
symmetry breaking, on the other hand, has low
costs per choice point, but only works efficiently
in combination with static search orderings, which
in turn cause high variance in runtime for differ-
ent instances. By introducing "model restarts," we
combine the benefits of lean and fast static sym-
metry breaking with those of randomized dynamic

  

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

 

Collections: Engineering