An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
Date first appeared online
DOI
Authors Crick T.
Journal Name Proceedings of the 11th International Workshop on Non-Monotonic Reasoning
Volume

Documents