The Significance of Memory Costs in Answer Set Solver Implementation

DOI10.1093/LOGCOM/EXN038MaRDI QIDQ3395262zbMATHOpenAlexFDO

Authors Martin Brain, Marina De Vos

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/exn038

zbMATH Keywords

answer set programmingcache utilizationanswer set solversdeclarative programming systemsoptimization of memory bound programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• On the relation among answer set solvers
• Logic Programming
• Learning domain-specific heuristics for answer set solvers
• Answer set programming based on propositional satisfiability

Cited in

(3)

• Testing and debugging techniques for answer set solver development
• Performance tuning in answer set programming
• Conflict-driven answer set solving: from theory to practice

Describes a project that uses

Uses Software

• MiniSat
• PLATYPUS
• ASSAT
• Cmodels
• Gringo
• Smodels

This page was built for publication: The Significance of Memory Costs in Answer Set Solver Implementation

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