Graph Neural Networks for Scheduling of SMT Solvers.
Jan HulaDavid MojzísekMikolás JanotaPublished in: ICTAI (2021)
Keyphrases
- neural network
- modulo theories
- scheduling problem
- artificial neural networks
- random walk
- bipartite graph
- directed graph
- scheduling algorithm
- resource allocation
- graph matching
- series parallel
- graph representation
- graph structure
- feed forward
- back propagation
- fuzzy logic
- structured data
- neural network model
- pattern recognition
- statistical machine translation
- weighted graph
- graph theoretic
- resource constraints
- spanning tree
- information extraction
- round robin
- undirected graph
- logic programming
- graph theory
- neural nets
- connected components