TOAST: Applying Answer Set Programming to Superoptimisation.

Martin Brain Tom Crick Marina De Vos John Fitch TOAST: Applying Answer Set Programming to Superoptimisation. 270-284 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_21 db/conf/iclp/iclp2006.html#BrainCVF06