Affiliations:
Department of Mathematics and Computer Science, University of Calabria, Via P. Bucci, cubo 30B, Rende (CS), Italy
Correspondence:
[*]
Corresponding author: Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria, Via P. Bucci, cubo 30B, 87036, Rende (CS), Italy. E-mail: carmine.dodaro@unical.it.
Abstract: Answer Set Programming (ASP) is a declarative language oriented towards solving complex combinatorial problems. In fact, ASP has been successfully used to address problems in various academic and industrial domains. The success of ASP can be attributed to its concise syntax, intuitive semantics, and the availability of several efficient solvers based on the Conflict-Driven Clause Learning (CDCL) algorithm. This paper details the design and implementation of contemporary CDCL solvers, emphasizing both algorithmic descriptions and their effective and efficientimplementation.
Keywords: Answer set programming, efficient solvers, conflict-driven clause learning