Search Results for author:
Found 11 papers, 4 papers with code
A Framework for Generating Informative Benchmark Instances
This separation presents an opportunity for automated approaches to generate instance data that define instances that are graded (solvable at a certain difficulty level for a solver) or can discriminate between two solving approaches.
Automatic Tabulation in Constraint Models
The performance of a constraint model can often be improved by converting a subproblem into a single table constraint.
Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made.
Efficient Incremental Modelling and Solving
The contribution of this work is to enable a native interaction between SAT solvers and the automated modelling system Savile Row to support efficient incremental modelling and solving.
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort.
Exploring Instance Generation for Automated Planning
Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms.
Conjure Documentation, Release 2.3.0
Conjure is an automated modelling tool for Constraint Programming.
Other Computer Science
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining
In this paper, in addition to specifying a dominance relation, we introduce the ability to specify an incomparability condition.
Modelling Langford's Problem: A Viewpoint for Search
We empirically show that a channelled model with a static branching order on one of the viewpoints offers the best performance out of all the options we consider.
Declarative Statistics
In this work we introduce declarative statistics, a suite of declarative modelling tools for statistical analysis.
The BIN_COUNTS Constraint: Filtering and Applications
We show that BIN_COUNTS can be employed to develop a decomposition for the $\chi^2$ test constraint, a new statistical constraint that we introduce in this work.
