TOAST: Applying Answer Set Programming to Superoptimisation.

Martin Brain, Tom Crick, Marina De Vos, John P. Fitch

Browse the full ICLP paper archive.