Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures

DOI10.1093/LOGCOM/EXN036MaRDI QIDQ3395270zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti

Publication date 24 August 2009

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn036

zbMATH Keywords

\textsc{adjSolver} algorithm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Parallel instantiation of ASP programs: techniques and experiments
• scientific article; zbMATH DE number 1954102
• Solving distributed constraint optimization problems using logic programming
• Efficient parallel ASP instantiation via dynamic rewriting

Cited in

(5)

• Optimizing declarative parallel distributed graph processing by using constraint solvers
• scientific article; zbMATH DE number 1954102 (Why is no real title available?)
• Distributed answer set coloring: stable models computation via graph coloring
• Parallel instantiation of ASP programs: techniques and experiments
• Logic Programming and Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• GridSAT
• PLATYPUS

This page was built for publication: Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395270)