Results 1  10
of
138
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE
"... Abstract. Many constraint problems contain symmetry, which can lead to redundant search. If a partial assignment is shown to be invalid, we are wasting time if we ever consider a symmetric equivalent of it. A particularly important class of symmetries are those introduced by the constraint modelli ..."
Abstract
 Add to MetaCart
modelling process: model symmetries. We present a systematic method by which the automated constraint modelling tool CONJURE can break conditional symmetry as it enters a model during refinement. Our method extends, and is compatible with, our previous work on automated symmetry breaking in CONJURE
Automated symmetry breaking and model selection in Conjure
 IN: 19TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
, 2013
"... Constraint modelling is widely recognised as a key bottleneck in applying constraint solving to a problem of interest. The CONJURE automated constraint modelling system addresses this problem by automatically refining constraint models from problem specifications written in the ESSENCE language. ESS ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. ESSENCE provides familiar mathematical concepts like sets, functions and relations nested to any depth. To date, CONJURE has been able to produce a set of alternative model kernels (i.e. without advanced features such as symmetry breaking or implied constraints) for a given specification. The first
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
 Proc. 16th Euro. Conf. on AI, 171175
, 2004
"... Abstract. Finitedomain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutions, then searching for solutions that satisfy the constraints. Experts often augment models with implied constrai ..."
Abstract

Cited by 16 (7 self)
 Add to MetaCart
constraints and constraints that break symmetries in the model. An emerging pattern in the modelling process, highlighted and demonstrated here, is that some powerful implied constraints can be derived only after symmetrybreaking constraints have been added. Furthermore, the choice between alternative
Financial market globalization, symmetrybreaking and endogenous inequality of nations
 Econometrica
, 2004
"... This paper investigates the effects of financial market globalization on the inequality of nations. The world economy consists of inherently identical countries, which could differ only in their levels of capital stock. Each country is represented by the standard overlapping generations model, modif ..."
Abstract

Cited by 47 (1 self)
 Add to MetaCart
. The model is simple and tractable enough to allow for a complete characterization of the stable steady states. In the absence of the international financial market, the world economy has a unique stable steady state, which is symmetric. When the international financial market is introduced, symmetrybreaking
Renormalization of the S Parameter in Holographic Models of Electroweak Symmetry Breaking
, 809
"... Abstract: We show that the S parameter is not finite in theories of electroweak symmetry breaking in a slice of anti–de Sitter fivedimensional space, with the light fermions localized in the ultraviolet. We compute the oneloop contributions to S from the Higgs sector and show that they are logarit ..."
Abstract
 Add to MetaCart
that they are logarithmically dependent on the cutoff of the theory. We discuss the renormalization of S, as well as the implications for bounds from electroweak precision measurements on these models. We argue that, although in principle the choice of renormalization condition could eliminate the S parameter constraint, a
Constraint Generation via Automated Theory Formation
, 2001
"... Introduction Adding constraints to a basic CSP model can signi cantly reduce search, e.g. for Golomb rulers [6]. The generation process is usually performed by hand, although some recent work has focused on automatically generating symmetry breaking constraints [4] and (less so) on generating impl ..."
Abstract

Cited by 30 (18 self)
 Add to MetaCart
Introduction Adding constraints to a basic CSP model can signi cantly reduce search, e.g. for Golomb rulers [6]. The generation process is usually performed by hand, although some recent work has focused on automatically generating symmetry breaking constraints [4] and (less so) on generating
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem
 11th Annual ERCIM Workshop on Constraint Programming (CSCLP’2006
, 2006
"... Abstract. A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased declarativity and efficiency. Such problems where one tries to find sets of values that satisfy some conditions ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
conditions often present much symmetry on variables and values. In particular, the social golfers problem encompasses many possible symmetries. Allowing symmetric solutions increases search space unnecessarily, thus multiplying solution time. Therefore, ordering constraints have been proposed
PHENOMENOLOGY OF HIGGSLESS ELECTROWEAK SYMMETRY BREAKING a b
, 2004
"... It is possible to construct models based on warped extra dimensions in which electroweak symmetry breaking takes place without the introduction of any Higgs fields. This breaking can occur through the judiciuous choice of boundary conditions applied to gauge fields living in the bulk. One then finds ..."
Abstract
 Add to MetaCart
It is possible to construct models based on warped extra dimensions in which electroweak symmetry breaking takes place without the introduction of any Higgs fields. This breaking can occur through the judiciuous choice of boundary conditions applied to gauge fields living in the bulk. One
1FINANCIAL MARKET GLOBALIZATION, SYMMETRYBREAKING AND ENDOGENOUS INEQUALITY OF NATIONS
"... Headnote: This paper investigates the effects of financial market globalization on the inequality of nations. The world economy consists of inherently identical countries, which differ only in their levels of capital stock. Each country is represented by the standard overlapping generations model, m ..."
Abstract
 Add to MetaCart
. The model is tractable enough to allow for a complete characterization of the stable steady states. In the absence of the international financial market, the world economy has a unique steady state, which is symmetric and stable. In the presence of the international financial market, symmetrybreaking
CGRASS: A System for Transforming Constraint Satisfaction Problems
 Recent Advances in Constraints, 1530, LNCS 2627
, 2002
"... Abstract. Experts at modelling constraint satisfaction problems (CSPs) carefully choose model transformations to reduce greatly the amount of effort that is required to solve a problem by systematic search. It is a considerable challenge to automate such transformations and to identify which transfo ..."
Abstract

Cited by 30 (9 self)
 Add to MetaCart
Abstract. Experts at modelling constraint satisfaction problems (CSPs) carefully choose model transformations to reduce greatly the amount of effort that is required to solve a problem by systematic search. It is a considerable challenge to automate such transformations and to identify which
Results 1  10
of
138