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

42 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

Cite this