A Benchmark for ASP Systems: Resource Allocation in Business Processes

Giray Havur, Cristina Cabanillas, Axel Polleres

Publication: Working/Discussion PaperWU Working Paper

8 Downloads (Pure)


The goal of this paper is to benchmark Answer Set Programming (ASP) systems to test their performance when dealing with a complex optimization problem. In particular, the problem tackled is resource allocation in the area of Business Process Management (BPM). Like many other scheduling problems, the allocation of resources and starting times to business process activities is a challenging optimization problem for ASP solvers. Our problem encoding is ASP Core-2 standard compliant and it is realized in a declarative and compact fashion. We develop an instance generator that produces problem instances of different size and hardness with respect to adjustable parameters. By using the baseline encoding and the instance generator, we provide a comparison between the two award-winning ASP solvers clasp and wasp and report the grounding performance of gringo and i-dlv. The benchmark suggests that there is room for improvement concerning both the grounders and the solvers. Fostered by the relevance of the problem addressed, of which several variants have been described in different domains, we believe this is a solid application-oriented benchmark for the ASP community.
Original languageEnglish
Place of PublicationVienna
PublisherDepartment für Informationsverarbeitung und Prozessmanagement, WU Vienna University of Economics and Business
Publication statusPublished - 26 Nov 2018

Publication series

SeriesWorking Papers on Information Systems, Information Business and Operations

WU Working Paper Series

  • Working Papers on Information Systems, Information Business and Operations

Cite this