Author name cluster

Alan Frisch

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers

1 author row

AAAI Conference 2011 Conference Paper

Extensible Automated Constraint Modelling

Ozgur Akgun
Ian Miguel
Chris Jefferson
Alan Frisch
Brahim Hnich

In constraint solving, a critical bottleneck is the formulation of an effective constraint model of a given problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of CONJURE previously reported, makes a valuable contribution to the automation of constraint modelling by automatically producing constraint models from their speciﬁcations in the abstract constraint speciﬁcation language ESSENCE. A set of rules is used to re- ﬁne an abstract speciﬁcation into a concrete constraint model. We demonstrate that this set of rules is readily extensible to increase the space of possible constraint models CONJURE can produce. Our empirical results conﬁrm that CONJURE can reproduce successfully the kernels of the constraint models of 32 benchmark problems found in the literature.

PDF Details

IJCAI Conference 2003 Conference Paper

Multiset Ordering Constraints

Alan Frisch
Ian Miguel
Zeynep Kiziltan
Brahim Hnich
Toby Walsh

We identify a new and important global (or nonbinary) constraint which ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different applications including breaking symmetry and fuzzy constraint satisfaction. We propose and implement a linear time algorithm for enforcing generalised arc-consistency on such a multiset ordering constraint. Experimental results show considerable promise.

PDF