Multi-threaded ASP solving with clasp

DOI10.1017/S1471068412000166zbMath1260.68061arXiv1210.3265OpenAlexW2963933247MaRDI QIDQ4911132

Torsten Schaub, Martin Gebser, Benjamin Kaufmann

Publication date: 13 March 2013

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.3265

zbMATH Keywords

data representationmulti-threading in clasp

Mathematics Subject Classification ID

Data structures (68P05) Logic programming (68N17)

Related Items (6)

ASlib: a benchmark library for algorithm selection ⋮ Progress in clasp Series 3 ⋮ Clingcon: The next generation ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Learning Boolean logic models of signaling networks with ASP ⋮ Automatic construction of parallel portfolios via algorithm configuration

Uses Software

• clasp
• Lingeling

Cites Work

• Boolean lexicographic optimization: algorithms \& applications
• Extending and implementing the stable model semantics
• PSATO: A distributed propositional prover and its application to quasigroup problems
• Blocked Clause Elimination
• Conflict-Driven Answer Set Enumeration
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• Algorithm portfolios

This page was built for publication: Multi-threaded ASP solving with clasp