Multi-threaded ASP solving with clasp
From MaRDI portal
Publication:4911132
DOI10.1017/S1471068412000166zbMath1260.68061arXiv1210.3265MaRDI 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
Related Items
Clingcon: The next generation, ASlib: a benchmark library for algorithm selection, Learning Boolean logic models of signaling networks with ASP, Automatic construction of parallel portfolios via algorithm configuration, Design and results of the Fifth Answer Set Programming Competition, Progress in clasp Series 3
Uses Software
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