2018/11/26 by Giray Havur, Havur, Giray, Cristina Cabanillas +3
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
paper · doi:10.57938/84f3eb4b-b71e-4b1d-a7e8-3d43ee74eb60
openalex publication_date 2018/11/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23
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.