An application of answer set programming: Superoptimisation (A preliminary report)

M J Brain, T Crick, J P Fitch, M de Vos

Research output: Book/Report › Other report

130 Downloads (Pure)

Original language	English
Publisher	University of Bath, Department of Computer Science
Publication status	Published - Apr 2006

Name	Computer Science Technical Reports
No.	CSBU-2006-05
ISSN (Print)	1740-9497

ID number: CSBU-2006-05

Access to Document

@book{c307aee0328a4e9d882092e2e086b3d2,

title = "An application of answer set programming: Superoptimisation (A preliminary report)",

author = "Brain, \{M J\} and T Crick and Fitch, \{J P\} and \{de Vos\}, M",

note = "ID number: CSBU-2006-05",

year = "2006",

month = apr,

language = "English",

series = "Computer Science Technical Reports",

publisher = "University of Bath, Department of Computer Science",

number = "CSBU-2006-05",

}

TY - BOOK

T1 - An application of answer set programming: Superoptimisation (A preliminary report)

AU - Brain, M J

AU - Crick, T

AU - Fitch, J P

AU - de Vos, M

N1 - ID number: CSBU-2006-05

PY - 2006/4

Y1 - 2006/4

M3 - Other report

T3 - Computer Science Technical Reports

BT - An application of answer set programming: Superoptimisation (A preliminary report)

PB - University of Bath, Department of Computer Science

ER -