The Significance of Memory Costs in Answer Set Solver Implementation
type: Item
instance of: scholarly article
title: The Significance of Memory Costs in Answer Set Solver Implementation
zbMATH Open document ID: 1192.68127
author: Martin Brain
author: Marina De Vos
publication date: 2009-08-24T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5598159
zbMATH Keywords: answer set solvers
zbMATH Keywords: answer set programming
zbMATH Keywords: cache utilization
zbMATH Keywords: optimization of memory bound programs
zbMATH Keywords: declarative programming systems
describes a project that uses: Cmodels
describes a project that uses: PLATYPUS
describes a project that uses: Gringo
describes a project that uses: MiniSat
describes a project that uses: Smodels
describes a project that uses: ASSAT
MaRDI profile type: MaRDI publication profile
full work available at URL: exn038
OpenAlex ID: W2126715257
DOI: 10.1093/LOGCOM/EXN038
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 5598159