Amanote Research
Register
Sign In
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
doi 10.1145/3180155.3180186
Full Text
Open PDF
Abstract
Available in
full text
Date
May 27, 2018
Authors
Oszkár Semeráth
András Szabolcs Nagy
Dániel Varró
Publisher
ACM
Related search
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concept Models for Domain-Specific Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Visual Integrated Development Environment for Automated Planning Domain Models
Applying Graph Grammars for the Generation of Process Models and Their Logs
A Generic Model of Execution for Synthesizing Domain-Specific Models
Towards a Fully Automated Eclipsing Binary Solver for Gaia
Proceedings of the International Astronomical Union
Astrophysics
Astronomy
Planetary Science
Space
A CLP Heap Solver for Test Case Generation
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Exploiting a Parametrized Task Graph Model for the Parallelization of a Sparse Direct Multifrontal Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Median Graph Shift: A New Clustering Algorithm for Graph Domain
