We introduce a new global constraint which combines together the lexicographic ordering constraint with some sum constraints. Lexicographic ordering constraints are frequently used to break symmetry, whilst sum constraints occur in many problems involving capacity or partitioning. Our results show that this global constraint is useful when there is a very large space to explore, such as when th...

We show that in theories with radiatively induced electro-weak symmetry breaking the EDMs obey a simple approximate scaling under the transformation m0 → λm0, m 1 2 → λm 1 2 in the large μ region. In the scaling region the knowledge of a single point in the MSSM parameter space where the cancellation in the EDMs occur allows one to generate a trajectory in the m0 −m 1 2 plane where the cancella...

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.

Humans interact by changing their actions, perceiving other's actions and executing solutions in conflicting situations. Using oscillator models, nonlinear dynamics have been considered for describing these complex human movements as an emergence of self-organisation. However, these frameworks cannot explain the hierarchical structures of complex behaviours between conflicting inter-agent and a...

Flammability properties of plasma pretreated cotton fabrics subjected to flame-retardant treatment were studied. Plasma pretreatment, using an atmospheric pressure plasma jet (APPJ), was applied to cotton fabrics to enhance material properties, while retaining inherent advantages of the substrates. An organic phosphorus compound (flame-retardant agent, FR) together with a melamine resin (crossl...

This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises various reasoning and sensing capabilities of the agent in an open and dynamic environment. The novel features of the model include: its innovative use of Computational L...

Agent systems, such as those used to control robots, make decisions about their actions and take into account changes in the surrounding environment. The agent’s reasoning includes deliberating about its goals, such as whether to adopt an additional goal, to prioritize or reprioritize its goals, and to suspend some goals. In popular agent systems, such as those based around the BeliefDesire-Int...

Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetry-breaking constraints to eliminate these symmetries at the modelling level. We discuss some preliminary computational results.

The paper proposes a dynamic method, Recursive Symmetry Breaking During Search (ReSBDS), for efficient partial symmetry breaking. We first demonstrate how Partial Symmetry Breaking During Search (ParSBDS) misses important pruning opportunities when given only a subset of symmetries to break. The investigation pinpoints the culprit and in turn suggests rectification. The main idea is to add extr...