In [2] we presented an algorithm for decomposing a boundary representation model hierarchically into regularity features by recovering broken symmetries. The algorithm adds new recoverable edges and faces, which can be constructed from existing geometry. This generates positive and negative volumes giving simple, more symmetric sub-parts of the model. The resulting regularity feature tree may b...

Many CSPs can be effectively represented and efficiently solved using matrix models, in which the matrices may have symmetry between their rows and/or columns. Eliminating all such symmetry can be very costly as there are in general exponentially many symmetries. Cost-effective methods have been proposed to break much of the symmetry, if not all. In this paper, we continue with this line of res...

Increasing development of nano-technology in optics and photonics by using modern methods of light control in waveguide devices and requiring miniaturization and electromagnetic devices such as antennas, transmission and storage as well as improvement in the electromagnetic tool, have led researchers to use the phenomenon of electromagnetically induced transparency (EIT) and similar phenomena i...

We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints that is both efficient and effective at breaking symmetry. We then extend value precedence to deal with a number of generalizations like wreath value and partial interchangeability. We also show that value precedence is...

Symmetry breaking caused by geometric fluctuations can enable processes that are otherwise forbidden. An example is a perylene bisimide dyad whose dipole moments are perpendicular to each other. Förster-type energy transfer is thus forbidden at the equilibrium geometry since the dipolar coupling vanishes. Yet, fluctuations of the geometric arrangement have been shown to induce finite energy tra...

Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: symmetry breaking constraints for row and column symmetry, and symmetry breaking constraints for eliminating value symmetry.

Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...

Complete row and column symmetry breaking in constraint models using the lex leader method is generally prohibitively costly. Double lex, which is derived from lex leader, is commonly used in practice as an incomplete symmetrybreaking method for row and column symmetries. Double lex is based on a rowwise canonical variable ordering. However, this choice is arbitrary. We investigate other canoni...

Chiral symmetry breaking in molecular adsorption at the solid/liquid interface by lateral geometric nanoconfinement is demonstrated.