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

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

Research output: Book/ReportOther report

82 Downloads (Pure)
Original languageEnglish
PublisherUniversity of Bath, Department of Computer Science
Publication statusPublished - Apr 2006

Publication series

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

Bibliographical note

ID number: CSBU-2006-05

Cite this