TOAST: Applying Answer Set Programming to Superoptimisation
type: Item
instance of: scholarly article
title: TOAST: Applying Answer Set Programming to Superoptimisation
zbMATH Open document ID: 1131.68367
DOI: 10.1007/11799573_21
author: Martin Brain
author: T. Crick
author: Marina De Vos
author: John Fitch
published in: Logic Programming
publication date: 2008-03-11T00:00:00Z
full work available at URL: 0043401-12092018070152.pdf
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5248039
describes a project that uses: Smodels
describes a project that uses: Asparagus
describes a project that uses: ASSAT
describes a project that uses: LAIMA
describes a project that uses: Lparse
describes a project that uses: Denali
MaRDI profile type: Publication
OpenAlex ID: W1549711261
Recommended article: Logic Programming and Nonmonotonic Reasoning
Recommended article: Complex optimization in answer set programming
Recommended article: A multiparametric view on answer set programming
Recommended article: On Optimal Solutions of Answer Set Optimization Problems
Recommended article: Q4800163
Recommended article: Lpopt: a rule optimization tool for answer set programming
Recommended article: An Introduction to Answer Set Programming and Some of Its Extensions
Recommended article: Multi-criteria optimization in answer set programming
description: scientific article; zbMATH DE number 5248039