The Significance of Memory Costs in Answer Set Solver Implementation

DOI10.1093/logcom/exn038zbMath1192.68127OpenAlexW2126715257MaRDI QIDQ3395262

Martin Brain, M. 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)

Related Items

Conflict-driven answer set solving: from theory to practice, Testing and debugging techniques for answer set solver development

Uses Software

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