64 citations · 217 across the 24 of their papers we have counts for
9 papers · 1 filter
A Simulated Annealing Algorithm for Joint Stratification and Sample Allocation Designs
Mervyn O'Luing, Steven Prestwich, S. Armagan Tarim
This study combines simulated annealing with delta evaluation to solve the joint stratification and sample allocation problem. In this problem, atomic strata are partitioned into m…
Generating Difficult SAT Instances by Preventing Triangles
Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich
When creating benchmarks for SAT solvers, we need SAT instances that are easy to build but hard to solve. A recent development in the search for such methods has led to the Balance…
Declarative Statistics
Roberto Rossi, Özgür Akgün, Steven Prestwich +1
In this work we introduce declarative statistics, a suite of declarative modelling tools for statistical analysis. Statistical constraints represent the key building block of decla…
Stochastic Constraint Programming as Reinforcement Learning
Steven Prestwich, Roberto Rossi, Armagan Tarim
Stochastic Constraint Programming (SCP) is an extension of Constraint Programming (CP) used for modelling and solving problems involving constraints and uncertainty. SCP inherits e…
The BIN_COUNTS Constraint: Filtering and Applications
Roberto Rossi, Özgür Akgün, Steven Prestwich +1
We introduce the BIN_COUNTS constraint, which deals with the problem of counting the number of decision variables in a set which are assigned values that lie in given bins. We illu…
Statistical Constraints
Roberto Rossi, Steven Prestwich, S. Armagan Tarim
We introduce statistical constraints, a declarative modelling tool that links statistics and constraint programming. We discuss two statistical constraints and some associated filt…
Improved Branch-and-Bound for Low Autocorrelation Binary Sequences
S. D. Prestwich
The Low Autocorrelation Binary Sequence problem has applications in telecommunications, is of theoretical interest to physicists, and has inspired many optimisation researchers. Me…
Earthquake Scenario Reduction by Symmetry Reasoning
Steven Prestwich
A recently identified problem is that of finding an optimal investment plan for a transportation network, given that a disaster such as an earthquake may destroy links in the netwo…
On Improving Local Search for Unsatisfiability
David Pereira, Inês Lynce, Steven Prestwich
Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been tr…