Showing 1–3 of 3 results for author: Prestwich, S D

Generating Difficult SAT Instances by Preventing Triangles

Authors: Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich

Abstract: 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 Balanced SAT algorithm, which can create k-SAT instances with m clauses of high difficulty, for arbitrary k and m. In this paper we introduce the No-Triangle SAT algorithm, a SAT instance generator based on the cluster coeffici… ▽ More 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 Balanced SAT algorithm, which can create k-SAT instances with m clauses of high difficulty, for arbitrary k and m. In this paper we introduce the No-Triangle SAT algorithm, a SAT instance generator based on the cluster coefficient graph statistic. We empirically compare the two algorithms by fixing the arity and the number of variables, but varying the number of clauses. The hardest instances that we find are produced by No-Triangle SAT. Furthermore, difficult instances from No-Triangle SAT have a different number of clauses than difficult instances from Balanced SAT, potentially allowing a combination of the two methods to find hard SAT instances for a larger array of parameters. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing

Authors: S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich

Abstract: Croston's method is generally viewed as superior to exponential smoothing when demand is intermittent, but it has the drawbacks of bias and an inability to deal with obsolescence, in which an item's demand ceases altogether. Several variants have been reported, some of which are unbiased on certain types of demand, but only one recent variant addresses the problem of obsolescence. We describe a ne… ▽ More Croston's method is generally viewed as superior to exponential smoothing when demand is intermittent, but it has the drawbacks of bias and an inability to deal with obsolescence, in which an item's demand ceases altogether. Several variants have been reported, some of which are unbiased on certain types of demand, but only one recent variant addresses the problem of obsolescence. We describe a new hybrid of Croston's method and Bayesian inference called Hyperbolic-Exponential Smoothing, which is unbiased on non-intermittent and stochastic intermittent demand, decays hyperbolically when obsolescence occurs and performs well in experiments. △ Less

Submitted 3 September, 2014; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: Earlier versions of this work were presented at the 25th European Conference on Operations Research, 2012; and at the 54th Annual Conference of the UK Operational Research Society, 2012. A journal version is in preparation

Journal ref: International Journal of Forecasting, Elsevier, 30(4):928-933, 2014

Improved Branch-and-Bound for Low Autocorrelation Binary Sequences

Authors: S. D. Prestwich

Abstract: The Low Autocorrelation Binary Sequence problem has applications in telecommunications, is of theoretical interest to physicists, and has inspired many optimisation researchers. Metaheuristics for the problem have progressed greatly in recent years but complete search has not progressed since a branch-and-bound method of 1996. In this paper we find four ways of improving branch-and-bound, leading… ▽ More The Low Autocorrelation Binary Sequence problem has applications in telecommunications, is of theoretical interest to physicists, and has inspired many optimisation researchers. Metaheuristics for the problem have progressed greatly in recent years but complete search has not progressed since a branch-and-bound method of 1996. In this paper we find four ways of improving branch-and-bound, leading to a tighter relaxation, faster convergence to optimality, and better empirical scalability. △ Less

Submitted 23 July, 2013; v1 submitted 27 May, 2013; originally announced May 2013.

Comments: Journal paper in preparation