Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.
Adam MeissnerKrzysztof ZwierzynskiPublished in: PPAM (2005)
Keyphrases
- constraint solving
- constraint logic programming
- directed graph
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- minimum weight
- undirected graph
- distributed systems
- random walk
- constraint solver
- label propagation
- constraint programming
- labeled graphs
- vertex set
- attributed graphs
- maximum cardinality
- hamiltonian cycle
- edge weights
- graph structure
- betweenness centrality
- image segmentation
- bipartite graph
- finite domain
- connected components
- linear programming
- active learning
- data model
- reachability queries