Graph-based specification and automated construction of ILP problems

MaRDI QIDQ6198037zbMATH OpenFDO

Authors Andy Schürr

Publication date 20 February 2024

Full work available at URL https://arxiv.org/abs/2212.11629, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GCM2022.3

Mathematics Subject Classification ID

Computer science (68-XX) Mathematical programming (90Cxx)

Recommendations

• Towards the automated generation of consistent, diverse, scalable and realistic graph models
• Lessons Learned from Building a Graph Transformation System
• A Generic Construction for Crossovers of Graph-Like Structures
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Formulation of integer linear programs: an example

Cites work

• A Modeling Language for Mathematical Programming
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• On the computational complexity of the virtual network embedding problem

Cited in

(1)

• Using weakest application conditions to rank graph transformations for graph repair

This page was built for publication: Graph-based specification and automated construction of ILP problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6198037)