Core Challenge 2022: Solver and Graph Descriptions.
Takehide SohYoshio OkamotoTakehiro ItoPublished in: CoRR (2022)
Keyphrases
- graph representation
- graph theory
- weighted graph
- bipartite graph
- high level
- directed acyclic graph
- graph structure
- graph partitioning
- graph model
- random walk
- search algorithm
- quantified boolean formulas
- constraint solving
- random graphs
- graph structures
- graph clustering
- data sets
- minimum spanning tree
- graph theoretic
- spanning tree
- graph mining
- directed graph
- np hard
- lower bound