Solver Scheduling via Answer Set Programming

01/06/2014
by   Holger Hoos, et al.
0

Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 SAT Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, non-uniform and ordered solver schedules from existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2013

A Multi-Engine Approach to Answer Set Programming

Answer Set Programming (ASP) is a truly-declarative programming paradigm...
research
08/02/2016

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

Answer Set Programming (ASP) is a popular logic programming paradigm tha...
research
12/18/2022

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

We deal with a challenging scheduling problem on parallel machines with ...
research
04/29/2018

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

Conventional processor architectures are restricted in exploiting instru...
research
12/20/2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Encoding finite linear CSPs as Boolean formulas and solving them by usin...
research
01/06/2010

Abstract Answer Set Solvers with Learning

Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhance...
research
07/20/2023

Bounded Combinatorial Reconfiguration with Answer Set Programming

We develop an approach called bounded combinatorial reconfiguration for ...

Please sign up or login with your details

Forgot password? Click here to reset