TOAST: Applying Answer Set Programming to Superoptimisation
Date first appeared online
DOI 10.1007/11799573_21
Authors Crick T.
Journal Name Logic Programming
Volume 4079

Documents