AI Chat AI Image Generator AI Video Text to Speech

Multi-threaded ASP Solving with clasp

10/11/2012

∙

by Martin Gebser, et al.

∙

∙

We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp.

Martin Gebser
27 publications
Benjamin Kaufmann
4 publications
Torsten Schaub
48 publications

page 1

page 2

page 3

page 4

research

∙ 04/20/2011

Translation-based Constraint Answer Set Solving

We solve constraint satisfaction problems through translation to answer ...

0 Christian Drescher, et al. ∙

research

∙ 05/12/2017

Clingcon: The Next Generation

We present the third generation of the constraint answer set system clin...

0 Mutsunori Banbara, et al. ∙

research

∙ 05/07/2014

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

To appear in Theory and Practice of Logic Programming (TPLP). Building o...

0 Holger Hoos, et al. ∙

research

∙ 05/27/2017

Multi-shot ASP solving with clingo

We introduce a new flexible paradigm of grounding and solving in Answer ...

0 Martin Gebser, et al. ∙

research

∙ 05/05/2014

The Multi-engine ASP Solver ME-ASP: Progress Report

MEASP is a multi-engine solver for ground ASP programs. It exploits algo...

0 Marco Maratea, et al. ∙

research

∙ 12/31/2018

Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization

We propose Differentiable Satisfiability and Differentiable Answer Set P...

0 Matthias Nickles, et al. ∙

research

∙ 01/08/2013

SPARC - Sorted ASP with Consistency Restoring Rules

This is a preliminary report on the work aimed at making CR-Prolog -- a ...

0 Evgenii Balai, et al. ∙