notesum.ai

Published at November 14

Automating Reformulation of Essence Specifications via Graph Rewriting

cs.AI

F.4.2

Released Date: November 14, 2024

Authors: Ian Miguel¹, András Z. Salamon¹, Christopher Stone¹

Aff.: ¹School of Computer Science, University of St Andrews, UK

Arxiv: http://arxiv.org/abs/2411.09576v1